37 search results - page 1 / 8 » A study of interleaving coverage criteria |
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
BROADNETS
2006
IEEE
13 years 11 months ago
2006
IEEE
— In this paper, we study coverage with connectivity properties in large wireless sensor networks. We consider three classes: full coverage with connectivity, partial coverage wi...