1492 search results - page 32 / 299 » Automatic Software Model Checking Using CLP |
122
click to vote
ICRE
1998
IEEE
15 years 5 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
127
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
101
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
117
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...