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
Abstract flow learning for web application test generation
TL;DR: An ML approach is presented that combines a language specification that includes a grammar that can be used to describe test flows, and a trainable test flow generation model, in order to generate tests in a way that is trainable, reusable across different applications, and generalizable to new applications.
Dissertation
A Novel Representation for Search-Based Model-Driven Engineering
TL;DR: A method of encoding MDE models that enables many robust SBSE techniques to be applied to a wide-range of MDE problems, and performs an empirical analysis of two important properties of the representation, locality and redundancy, which have both been shown to affect the ability of SBSe techniques to discover solutions.
Posted Content
Killing Stubborn Mutants with Symbolic Execution
TL;DR: SEMu, a Dynamic Symbolic Execution technique that generates test inputs capable of killing stubborn mutants, is introduced and the results show that modeling plays an important role in mutant killing.
Book
Model-based Protocol Testing in an Erlang Environment
TL;DR: Testing is the dominant technique for quality assurance of software systems and it typically consumes considerable resources in development projects, and is often performed in an ad hoc manner.
Journal ArticleDOI
Killing Stubborn Mutants with Symbolic Execution
TL;DR: SEMu as discussed by the authors is a dynamic symbolic execution technique that generates test inputs capable of killing stubborn mutants (killable mutants that remain undetected after a reasonable amount of testing) by incrementally searching for divergent program behaviors between the original and the mutant versions.
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.