This Article 
 Bibliographic References 
 Add to: 
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
July/August 2006 (vol. 23 no. 4)
pp. 38-47
Nikolai Tillmann, Microsoft Research
Wolfram Schulte, Microsoft Research
Unit tests are popular. However, it's an art to write them in a way that specifies a program's behavior well, and it's laborious to write enough of them to have confidence in an implementation's correctness. Symbolic execution techniques can help increase code coverage by finding relevant variations of existing unit tests. These techniques can also automatically generate unit tests from an implementation when no prior unit tests exist. Commercial testing tools are already adopting these techniques.This article is part of a special issue on Software Testing.
Index Terms:
formal methods, validation, symbolic execution, test design, test coverage of code, testing tools
Nikolai Tillmann, Wolfram Schulte, "Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution," IEEE Software, vol. 23, no. 4, pp. 38-47, July-Aug. 2006, doi:10.1109/MS.2006.117
Usage of this product signifies your acceptance of the Terms of Use.