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
Search-Based Higher Order Mutation Testing: A Mapping Study
TL;DR: The most common search-based algorithms, preferred fitness functions, addressed programming languages, and evaluation aspects are identified and some trends and research opportunities are identified that allow researchers to direct future investigations.
Journal ArticleDOI
An axiomatic semantics for iocos_ conformance relation
TL;DR: It is shown that ioco s _ has a testing characterisation and an algorithm that produces a test suite for a given specification, and it is proved that this operational semantics faithfully models the quiescent behaviour assumed by the conformance semantics.
Proceedings ArticleDOI
Test case generation for automotive applications
TL;DR: This work proposes a tool to generate test cases from Simulink models using SLDV (Simulink Design Verifier) model checker, and compares the tool performance to the TELNET Innovaltion Labs testing process and two other prominent commercial tools, such as Sal-ATG and simulink test case generator.
Proceedings ArticleDOI
Test Design as Code: JCUnit
Hiroshi Ukai,Xiao Qu +1 more
TL;DR: This paper proposes a model-based testing (MBT) tool called JCUnit, which generates a test suite from a model given as a Java class, designed to generate small and stable test suites and supports various popular models.
Book ChapterDOI
Model-Based Testing from Model Driven Architecture: A Novel Approach for Automatic Test Cases Generation
TL;DR: In this paper, the authors use UML diagrams and SBVR to model MDA levels and propose transformations to generate test cases in order to evaluate if the generated code fulfills system requirements.
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.