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
Implementation of an effective dynamic concolic execution framework for analyzing binary programs
TL;DR: BinSE is presented, a lightweight dynamic symbolic execution framework for analyzing x86 binary programs that adapts the dynamic analysis model, which combines symbolic execution with concrete execution to simplify the complexity of the path conditions.
Dissertation
A Recommender System for Improving Program Security Through Source Code Mining and Knowledge Extraction
Journal ArticleDOI
A Test Generation Method for EFSM-based Protocols Using the Transitions Feasibility Estimation
TL;DR: This paper proposed a test sequence generation approach for EFSM-based protocols conformance test by using the transition feasibility estimation and designed a fitness function to guide the test generation with a trade-off among path feasibility, coverage criterion and path length.
Proceedings ArticleDOI
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing
TL;DR: In order to automate security test, this work presents an approach to automate the testing process from threat modeling onward, closing the gap between threat modeling and automated test case generation.
Book ChapterDOI
An improved model-based technique for generating test scenarios from UML class diagrams
TL;DR: This chapter aims to develop an improved technique that automatically generates test scenarios by reading, extracting, and interpreting the sets of objects that share attributes, operations, relationships, and semantics in a class diagram.
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.