This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Citation:
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.