Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution

Nikolai Tillmann and Wolfram Schulte

Abstract

Unit tests are popular, but it is an art to write them in a way that specifies a program’s behavior well and it is laborious to write enough of them to have confidence in the correctness of an implementation. Symbolic execution is an approach that can help. We describe techniques for unit testing based on symbolic execution. These techniques can be used to increase code coverage by finding relevant variations of existing unit tests, and they can be used to generate unit tests from an implementation automatically when no prior unit tests exist. The adoption of symbolic analysis techniques in commercial testing tools has already begun.

Details

Publication typeArticle
Published inIEEE Software
URLhttp://dx.doi.org/10.1109/MS.2006.117
Pages38-47
Volume23
Number4
PublisherIEEE
> Publications > Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution