944 search results - page 58 / 189 » Software model checking without source code |
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
For high-data-rate applications, turbo-like iterative decoders are implemented with parallel hardware architecture. However, to achieve high throughput, concurrent accesses to each...
DOCENG
2010
ACM
13 years 11 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
AADEBUG
2005
Springer
14 years 1 days ago
2005
Springer
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...