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
An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects
Hoang-Viet Tran,Pham Ngoc Hung +1 more
TL;DR: In this article , the authors proposed an improved method named ISDART for SDART, which is one of the most recent advanced methods based on concolic testing, to increase its performance.
Journal ArticleDOI
Instance Space Analysis of Search-Based Software Testing
TL;DR: In this paper , the authors revisited the problem of objective performance evaluation of search-based software testing (SBST) techniques in light of recent methodological advances in the form of Instance Space Analysis (ISA) enabling the strengths and weaknesses of SBST techniques to be visualised and assessed across the broadest possible space of problem instances (software classes) from common benchmark datasets.
Proceedings ArticleDOI
Assessing two graph-based algorithms in a modelbased testing platform for Java applications
TL;DR: This study extended MBT4J with two graph-based algorithms: the Chinese Postman Problem (CPP) and Breadth-First Search (BFS), and recommends using these algorithms for generating test cases for systems with complex models.
Posted Content
Testing Quality Requirements of a System-of-Systems in the Public Sector - Challenges and Potential Remedies
TL;DR: In this paper, the authors share experiences from testing quality requirements when developing a large system-of-systems in the public sector in Sweden and match the identified challenges with solution proposals from the literature, including integrated requirements engineering, the twin peaks model, virtual plumblines, the QUPER model and architecturally significant requirements.
Proceedings ArticleDOI
Enhancing FSCS-ART through Test Input Quantization and Inverted Lists
TL;DR: In this article, the authors adopted Quantization and InVerted File structure approach to enhance the original fixed-size-candidate-set adaptive random testing (FSCS-ART) technique, which is an ART technique well-known for its best failuredetection effectiveness and usages in testing many real-life applications.
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.