3547 search results - page 353 / 710 » Pseudo-Exhaustive Testing for Software |
172
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
131
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
203
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
150
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Controlled experiments in web application testing use seeded faults to evaluate the effectiveness of the testing technique. However, the classes of seeded faults are not always ex...
194
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...