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
A Learning Classifier System for Automated Test Case Prioritization and Selection
Proceedings ArticleDOI
Machine Learning Augmented Fuzzing
TL;DR: The proposed thesis introduces cutting edge Machine Learning tools into Search Based Software Engineering (SBST) by using a deep neural network to process execution trace information to yield a likelihood score of a presence of a crash, which is used as a fitness function for search.
Journal ArticleDOI
A Formal Model of Robustness Testing for an Object-Oriented Specification
TL;DR: This work proposes a formal model of constraints for testing the conformity of an implementation from its specification based on an equivalence partitioning of input domains for each method type in an object oriented (OO) paradigm for detecting the different classes of errors.
Proceedings ArticleDOI
Scalability analysis of grammatical evolution based test data generation
Muhammad Sheraz Anjum,Conor Ryan +1 more
TL;DR: A rigorous analysis performed to examine Ariadne's scalability suggests thatAriadne is highly scalable as it exhibited 100% coverage across all the programs of increasing complexity with significantly smaller search costs than GA-based approaches, which failed even with huge search budgets.
Proceedings ArticleDOI
Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems
TL;DR: In this article, the authors propose a technique for performing symbolic co-analysis of an application on a processor's netlist by identifying, propagating, and imposing constraints from the software level onto the gate-level simulation.
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.