logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Unit tests reloaded: Parameterized unit testing with symbolic execution

delete2006-07-01
delete45
PRE
AI
N
Nikolai Tillmann *
W
Wolfram Schulte
DOI：10.1109/MS.2006.117delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.

Journal

IEEE Software cover
IEEE Software
IF:
3
Papers:
3.1K
Citations:
3.6K

Organization

No organization information available