3544 search results - page 479 / 709 » Software Testing |
211
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
120
Voted
MOBISYS
2007
ACM
16 years 11 days ago
2007
ACM
Software failures in wireless sensor systems are notoriously difficult to debug. Resource constraints in wireless deployments substantially restrict visibility into the root cause...
85
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
120
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
133
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...