42 search results - page 2 / 9 » Testing the executability of scenarios in general inhibitor ... |
APN
2006
Springer
14 years 2 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
ISSTA
2010
ACM
14 years 2 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
APN
2001
Springer
14 years 3 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
TACAS
2010
Springer
13 years 8 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...