Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution

Authors:
Nikolai Tillmann;Wolfram Schulte
Affiliations:
Microsoft Research;Microsoft Research
Venue:
IEEE Software
Year:
2006

Citing 8
Cited 12

Extreme programming explained: embrace change

Extreme programming explained: embrace change
Symbolic execution and program testing

Communications of the ACM
Test Driven Development: By Example

Test Driven Development: By Example
Test input generation with java PathFinder

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Parameterized unit tests with unit meister

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
CUTE: a concolic unit testing engine for C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
XRT-- Exploring Runtime for .NET Architecture and Applications

Electronic Notes in Theoretical Computer Science (ENTCS)
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Software Testing Research: Achievements, Challenges, Dreams

FOSE '07 2007 Future of Software Engineering
Achieving both model and code coverage with automated gray-box testing

Proceedings of the 3rd international workshop on Advances in model-based testing
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
White-box testing of behavioral web service contracts with Pex

TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Pex: white box test generation for .NET

TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation

Proceedings of the 5th Workshop on Automation of Software Test
Testing techniques in software engineering

Testing techniques in software engineering
DKAL and Z3: a logic embedding experiment

Fields of logic and computation
Specification-Driven test generation for model transformations

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Teaching and learning programming and software engineering via interactive gaming

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.