Issue No.04 - July/August (2006 vol.23)
Nikolai Tillmann , Microsoft Research
Wolfram Schulte , Microsoft Research
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2006.117
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.
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/August 2006, doi:10.1109/MS.2006.117