Journal ArticleDOI
An orchestrated survey of methodologies for automated software test case generation
Saswat Anand,Edmund K. Burke,Tsong Yueh Chen,John A. Clark,Myra B. Cohen,Wolfgang Grieskamp,Mark Harman,Mary Jean Harrold,Phil McMinn +8 more
TLDR
An orchestrated survey of the most prominent techniques for automatic generation of software test cases, reviewed in self-standing sections, aimed at giving an introductory, up-to-date and (relatively) short overview of research in automatic test case generation.About:
This article is published in Journal of Systems and Software.The article was published on 2013-08-01. It has received 599 citations till now. The article focuses on the topics: Software reliability testing & Test strategy.read more
Citations
More filters
Proceedings ArticleDOI
Boosting operational DNN testing efficiency through conditioning
TL;DR: An efficient DNN testing method based on the conditioning on the representation learned by the DNN model under testing is proposed, which requires only about a half of labeled inputs to achieve the same level of precision.
Proceedings ArticleDOI
Exploring regular expression usage and context in Python
Carl Chapman,Kathryn T. Stolee +1 more
TL;DR: This is the first rigorous examination of regex usage and it provides empirical evidence to support design decisions by regex tool builders and points to areas of needed future work, such as refactoring regular expressions to increase regex understandability and context-specific tool support for common regex usages.
Proceedings ArticleDOI
GRT: Program-Analysis-Guided Random Testing (T)
TL;DR: Guided Random Testing, which uses static and dynamic analysis to include information on program types, data, and dependencies in various stages of automated test generation, outperforms major peer techniques in terms of code coverage and mutation score.
Proceedings ArticleDOI
Semantic Fuzzing with Zest
TL;DR: Zest, a technique which automatically guides QuickCheck-like random input generators to better explore the semantic analysis stage of test programs, and is the most effective technique in finding bugs reliably and quickly, requiring at most 10 minutes on average to find each bug.
Proceedings ArticleDOI
Entropy-based test generation for improved fault localization
TL;DR: This work extends the search-based test generation tool EVOSUITE to use entropy in the fitness function of its underlying genetic algorithm, and applies it to seven real faults, leading to a 91% average reduction of diagnosis candidates needed to inspect to find the true faulty one.
References
More filters
Book ChapterDOI
Z3: an efficient SMT solver
TL;DR: Z3 is a new and efficient SMT Solver freely available from Microsoft Research that is used in various software verification and analysis applications.
Book
Software Product Lines: Practices and Patterns
Paul Clements,Linda Northrop +1 more
TL;DR: The Three Essential Activities: Core Asset Development, Software Engineering Practice Areas, and Single-System Development with Reuse - All Three Together.
Proceedings ArticleDOI
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
TL;DR: A new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs, and significantly beat the coverage of the developers' own hand-written test suite is presented.