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
An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects
TL;DR: In this paper , the authors proposed a concolic-based method named VFP (Void and Function Pointers test data generation) to generate test data for void pointers and function pointers.
Journal ArticleDOI
Testing Method for Software With Randomness Using Genetic Algorithm
TL;DR: This work proposes a novel test adequacy criterion, and builds a mathematical model for generating test data according to the new criterion and presents a method of solving the optimization model using a set-based genetic algorithm.
Journal ArticleDOI
A synergistic approach to improving symbolic execution using test ranges
TL;DR: Experimental results using a suite of Java programs show that SynergiSE presents a promising approach for improving symbolic execution, and an integration of complementary approaches for testing, e.g., search-based test generation, with symbolic executions, thereby enabling symbolic execution and other techniques to apply in tandem, say to create higher-quality tests.
Journal ArticleDOI
Exploring the Relations Between Net Benefits of IT Projects and CIOs’ Perception of Quality of Software Development Disciplines
TL;DR: In this paper, the authors proposed a methodology that enables the identification of SDM discipline quality categories and the evaluation of software development disciplines' net benefits, which is based on the Kano model.
Generación automática de combinaciones de valores para pruebas funcionales utilizando metaheurísticas
Arloys Macías Rojas,Martha Dunia Delgado Dapena,Jenny Fajardo Calderín,Danay Larrosa Uribazo +3 more
TL;DR: This work presents a proposal for the automatic generation of values of functional test cases, by means of the use of meta-heu-ristic algorithms and maximizing the coverage of the stages.
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.