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
A refinement development approach for enhancing the safety of PLC programs with Event-B
TL;DR: In this article , the authors propose a refinement-based approach to model and verify PLC systems, aiming to assure safety properties by construction, using the Event-B formalism and focusing on the levels of requirement analysis, specification refinement, and system development.
Journal ArticleDOI
Baton: symphony of random testing and concolic testing through machine learning and taint analysis
Proceedings ArticleDOI
Boosting Search Based Software Testing by Using Ensemble Methods
Xiong Xu,Li Jiao,Ziming Zhu +2 more
TL;DR: This paper proposes an ensemble strategy to boost the performance of SBST by combining multiple weak fitness functions, so that the heuristic information of the problem instances can be expressed more sufficiently, and therefore, a stronger fitness function can be obtained.
Journal ArticleDOI
Using search-based techniques for testing executable software models specified through graph transformations
Anvar Bahrampour,Vahid Rafe +1 more
TL;DR: This paper focuses on testing executable software models specified by a graph transformation system and introduces a set of model-specific coverage criteria and a cost-aware search-based test generation approach, which indicates a significant improvement in terms of fault-detection capability and testing costs.
Book ChapterDOI
Automated Test Case Generation for Java EE Based Web Applications
TL;DR: This paper presents an approach to automatically generate test cases for component-based user interfaces for web applications built on the Java EE platform, and generates a sequence of user actions to navigate through the web application.
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.