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
Book ChapterDOI
Automated Test Oracles: A Survey
Mauro Pezzè,Cheng Zhang +1 more
TL;DR: In this paper, the authors present the main techniques to automatically generate test oracles classified according to the required information, and discuss different forms of checkable oracles, defined as oracles expressed in a form directly checkable during the system execution.
Journal ArticleDOI
Scented Since the Beginning: On the Diffuseness of Test Smells in Automatically Generated Test Code
TL;DR: This paper studies to what extent existing automated test case generation tools produce potentially problematic test code, and argues that more effective automated generation algorithms that explicitly take into account test code quality should be further investigated and devised.
Journal ArticleDOI
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing
TL;DR: The results show significant differences in the techniques’ fault detection ability when faults are hard to detect (failure rates are relatively low), and when constraint information is unavailable for a highly-constrained program, a large random test suite is as effective as CT or ART, yet its computational cost is significantly lower than that of other techniques.
Journal ArticleDOI
Black-Box String Test Case Generation through a Multi-Objective Optimization
Ali Shahbazi,James Miller +1 more
TL;DR: In this research, black-box string test case generation methods are investigated and an empirical study is performed indicating that the generated string test cases outperform test cases generated by other methods.
Book ChapterDOI
Recent Advances in Model-Based Testing
Mark Utting,Bruno Legeard,Fabrice Bouquet,Elizabeta Fourneret,Fabien Peureux,Alexandre Vernotte +5 more
TL;DR: This chapter gives an overview of the field of model-based testing (MBT), particularly the recent advances in the last decade, and discusses best practices, such as traceability between models and tests.
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.