2419 search results - page 268 / 484 » A Formal Approach to Software Testing |
165
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
138
click to vote
SNPD
2008
15 years 5 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
130
click to vote
SNPD
2008
15 years 5 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
128
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
150
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...