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 Article
Software Testing Techniques to Make Application More Robust
TL;DR: In this paper, the authors have focused on the reliability of the test case for the satisfaction of clients as well as the customers, and focused on test case reliability is used to evaluate the quality of test cases.
Journal ArticleDOI
Conformance Checking and Pushdown Reactive Systems
TL;DR: In this paper , an extension of the ioco conformance relation to VPTS models is studied and polynomial time algorithms are developed to verify conformance for VPTS model in a white-box testing scenario.
Proceedings ArticleDOI
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report
Luca Sartori,Jérémie Guiochet,Hélène Waeselynck,Aizar Antonio,Berlanga Galvan,Simon Hébert-Vernhes +5 more
TL;DR: This paper presents a practitioner's view of the integration of TAF into simulation-based test platforms, through two industrial case studies, for testing an agricultural robot developed by Naïo Technologies and a static perception system by SICK AG.
Journal ArticleDOI
Survey of Model-Based Security Testing Approaches in the Automotive Domain
TL;DR: A review of model-based test approaches in the automotive domain can be found in this paper , where the authors provide an overview of applied models, formalisms, test selection criteria, and test generation techniques.
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.