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
Test Case Selection in Pre-Deployment Testing of Complex Clinical Decision Support Systems
Geoffrey J. Tso,Kaeli Yuen,Susana B. Martins,Samson W. Tu,Michael Ashcraft,Paul A. Heidenreich,Brian B. Hoffman,Mary K. Goldstein +7 more
TL;DR: ATHENA-HTN CDS after encoding updated hypertension guidelines into the system was tested after a logic flow and a complexity analysis of the encoding were performed to guide testing.
Proceedings ArticleDOI
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving
TL;DR: LiveTCM as mentioned in this paper is a natural language and model-based approach to automatically execute and generate test case specifications (TCSs) by interacting with an autonomous driving system under test and its environment.
Proceedings ArticleDOI
Combining bug detection and test case generation
TL;DR: N-Prog selects input/output pairs whose input produces different output on a mutated version of the program which passes the test suite of the original, and detects bugs and rediscovered test cases that had been removed from a test suite.
Dissertation
Dynamic Symbolic Execution with Descriptive and Prescriptive Relations
TL;DR: This thesis proposes a conceptual framework for a comparative analysis of program analysis techniques, and uses it to define proposed techniques in this thesis to support Dynamic Symbolic Execution (DSE), and suggests enhancing fault detection effectiveness of DSE, in the context of functional testing, by using domain specific relations that prescribe how inputs and outputs should be related.
Journal ArticleDOI
Acceptance testing based test case prioritization
TL;DR: New prioritization techniques, which are based on fault prediction in acceptance testing are introduced, which includes a combination of optimized multi-level random walk and genetic algorithm.
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.