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
Scheme Design of Structured Process Data Management System Base on Android
Xiang Hui Zhan,Xiaoda Li +1 more
TL;DR: Verified by enterprise users, the process management collaboration platform improves the enterprise business flow, process preparation efficiency and process knowledge reuse rate, reduces many processes data redundancy, and lays a foundation for the digital transformation of enterprise process data management.
Journal ArticleDOI
A nearest-neighbor divide-and-conquer approach for adaptive random testing
TL;DR: In this paper, the authors proposed an alternative approach to enhance FSCS-ART, namely Nearest-Neighbor Divide-and-Conquer based ART (NNDC-ART), which combines the concepts of nearest-neighbor and divide-andconquer.
Proceedings ArticleDOI
Mobile Application Development: Automated Test Input Generation Via Model Inference based on User Story and Acceptance Criteria
TL;DR: AgileUATM as mentioned in this paper is a testing methodology for white-box and black-box testing of mobile apps, where all the test cases are automatically generated based on user stories and acceptance criteria by using formal specification and Z3 SMT solvers.
Dissertation
Automated techniques for improving the quality of existing test suites
TL;DR: A novel technique based on dynamic tainting can reveal brittle assertions and the values that cause the brittleness within reasonable cost and two techniques that can identify insufficiently tested code by interpreting traditional coverage information are developed.
Journal ArticleDOI
Decomposing Constraints for Better Coverage in Test Data Generation
TL;DR: A hierarchy of coverage criteria at the specification constraint level is defined and algorithms are designed to decompose constraints according to constraint-level coverage criteria and to generate test input sets.
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.