171 search results - page 18 / 35 » On the automation of fixing software bugs |
DAC
1997
ACM
13 years 12 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
XPU
2007
Springer
14 years 1 months ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
FASE
2009
Springer
14 years 9 days ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
TCAD
2010
13 years 2 months ago
2010
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...