34 search results - page 2 / 7 » issta 2006 |
ISSTA
2006
ACM
14 years 2 hour ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
ISSTA
2006
ACM
14 years 2 hour ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
ISSTA
2006
ACM
14 years 2 hour ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
ISSTA
2006
ACM
14 years 2 hour ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
ISSTA
2006
ACM
14 years 2 hour 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....