103 search results - page 4 / 21 » UnitCheck: Unit Testing and Model Checking Combined |
152
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
144
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
130
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
124
click to vote
JFR
2008
15 years 3 months ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
ISSTA
2006
ACM
15 years 9 months 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...