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
DissertationDOI
Software testing: test suite compilation and execution optimizations
TL;DR: A test case scheduling algorithm is proposed which improves the load balancing between multiple devices of a heterogeneous system in an attempt to reduce the overall test suite size.
Proceedings ArticleDOI
Test Data Generation for MC/DC Criterion using Reinforcement Learning
Jan Cegin,Karol Rastocny +1 more
TL;DR: A new test data generation approach based on reinforcement learning is proposed, which utilize analogy with a game, in which a gamer, the test engineer, plays in an environment, a unit under test, and tries to achieve the highest possible reward, MC/DC coverage.
Dissertation
Component-based modeling for Android application testing
TL;DR: A component-based approach of automated model generation for model-based testing on Android platform in this thesis is proposed and the state definition in the model is extended, and a static mapping transition builder for transition construction across different kinds of components is proposed.
Journal ArticleDOI
A cost-effective adaptive random testing algorithm for object-oriented software testing
TL;DR: An OMISS-ARTsum algorithm is proposed in this paper that uses improved OMISS random test FSCS-ART with max-sum standard, which is an implementation version of fixed-sized-candidate-set ART to calculate the total distance between a candidate test case and the executed test case set before the next test case is selected from the set of candidates.
Journal ArticleDOI
Fragment Analysis and Test Case Generation using F- Measure for Adaptive Random Testing and Partitioned Block based Adaptive Random Testing
D. Indhumathi,S. Sarala +1 more
TL;DR: The research compares the performance of PBART with the existing Adaptive random testing using random samples of test cases which are drawn from blocks of distinct partitions called Partitioned Block based Adaptive Random Testing.
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.