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
Book ChapterDOI
Industrial-Strength Model-Based Testing of Safety-Critical Systems
Jan Peleska,Wen-ling Huang +1 more
TL;DR: An industrial-strength approach to automated model-based testing is presented, applied by Verified Systems International GmbH in safety-critical verification and validation projects in the avionic, railway, and automotive domains.
Journal ArticleDOI
Automatic property‐based testing and path validation of XQuery programs
TL;DR: An XQuery property‐based testing tool is presented, which enables to automatically test XQuery programs and a web tool has been developed enabling to test and validate X query programs.
Proceedings ArticleDOI
An Early Investigation of Unit Testing Practices of Component-Based Software Systems
TL;DR: Early results show that unit tests typically directly test the component implementation and not dedicated component APIs, and the method coverage of component APIs varied between 17% and 34% in the analyzed projects.
Proceedings ArticleDOI
LLSPLAT: Improving Concolic Testing by Bounded Model Checking
TL;DR: This paper has implemented the new algorithm on top of KLEE and called the new tool LLSPLAT, which provides on average 13% relative branch coverage improvement on all 10 programs in the Windows drivers set, and on average 16% relative branches coverage improvement in the GNU Coreutils set.
Journal ArticleDOI
Automated Test Input Generation via Model Inference Based on User Story and Acceptance Criteria for Mobile Application Development
TL;DR: There has been observed explosive growth in the development of mobile applications (apps) for Android and iOS operating systems, which has led to the direct impact towards mobile app development.
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.