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
Journal ArticleDOI
The experimental applications of search-based techniques for model-based testing
TL;DR: The results indicate that the majority of the existing applications of SBTs for MBT focus on functional and structural coverage purposes, as opposed to stress testing, regression testing and graphical user interface (GUI) testing.
Book ChapterDOI
Recent Advances in Automatic Black-Box Testing
TL;DR: This chapter surveys the recent advances in automatic black-box testing, covering contributions from 2010 to 2014, presenting the main research results and discussing the research trends.
Journal ArticleDOI
A Similarity Metric for the Inputs of OO Programs and Its Application in Adaptive Random Testing
TL;DR: A new similarity metric is proposed to enable multiclass level testing using ART and applied to a set of open-source OO programs, with the empirical results showing that this approach outperforms other RT and ART approaches in OOS testing.
Journal ArticleDOI
A systematic mapping addressing Hyper-Heuristics within Search-based Software Testing
Juliana Marino Balera,Valdivino Alexandre de Santiago Júnior,Valdivino Alexandre de Santiago Júnior +2 more
TL;DR: SBST has little explored the benefits of hyper-heuristics which include generalization and less difficulty in parameterization, so it is important to further investigate this area in order to alleviate the effort of practitioners to use such an approach in their testing activities.
Proceedings ArticleDOI
Moving the goalposts: coverage satisfaction is not enough
TL;DR: A review of some of the findings and recommendations on how the strengths of search-based test generation methods can alleviate structural coverage issues are offered.
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.