291 search results - page 3 / 59 » Generating Unit Tests from Formal Proofs |
ENTCS
2008
13 years 5 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
TACAS
2009
Springer
14 years 16 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
TACAS
2005
Springer
13 years 11 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
MTV
2005
IEEE
13 years 11 months ago
2005
IEEE
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...