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
Proceedings ArticleDOI
DeepTest: automated testing of deep-neural-network-driven autonomous cars
TL;DR: DeepTest is a systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles that can potentially lead to fatal crashes and systematically explore different parts of the DNN logic by generating test inputs that maximize the numbers of activated neurons.
Journal ArticleDOI
A Survey on Metamorphic Testing
TL;DR: This article provides a comprehensive survey on metamorphic testing, which summarises the research results and application areas, and analyses common practice in empirical studies of metamorphIC testing as well as the main open challenges.
Book ChapterDOI
Mutation Testing Advances: An Analysis and Survey
TL;DR: This chapter presents a survey of recent advances, over the past decade, related to the fundamental problems of mutation testing and sets out the challenges and open problems for the future development of the method.
BookDOI
Deductive Software Verification - The KeY Book
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich +5 more
TL;DR: This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice and contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work.
Proceedings ArticleDOI
Software testing: a research travelogue (2000–2014)
Alessandro Orso,Gregg Rothermel +1 more
TL;DR: The goal of this paper is to provide an accounting of some of the most successful research performed in software testing since the year 2000, and to present what appear to be the most significant challenges and opportunities in this area.
References
More filters
Journal ArticleDOI
Robust testing of AT&T PMX/StarMAIL using OATS
TL;DR: This work found Robust Testing more than twice as productive as conventional testing practices for testing PMX/StarMAIL Release 2.2, a complex private mail exchange local area network (LAN)-based electronic mail product that works with several types and versions of LAN software, operating systems, and personal computers (PCs).
Book ChapterDOI
Testing Transition Systems: An Annotated Bibliography
Ed Brinksma,Jan Tretmans +1 more
TL;DR: In this paper, the authors present an annotated bibliography of labelled transition system based test theory and its applications covering the main developments, and present an algorithm for test generation algorithms that can be used in realistic situations.
Test Generation Based on Symbolic Specifications
TL;DR: An algorithm is presented, which generates and executes tests on-the-fly on a given system using the family of testing relations ioco$_\mathcal{F}$ to the level of Symbolic Transition Systems (STSs).
Journal ArticleDOI
Proportional sampling strategy: a compendium and some insights
TL;DR: This paper provides an integrated synthesis and overview of recent studies on the proportional sampling strategy and its related work, and offers a perspective that properly interprets the results obtained so far and presents some of the interesting issues involved and new insights obtained during the course of this research.
Journal ArticleDOI
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing
TL;DR: Experiments using evolutionary testing on a number of programs with up to 1511 LOC and 5000 input parameters have successfully identified new longer and shorter execution times than had been found using other testing techniques, and evolutionary testing seems to be a promising approach for the verification of timing constraints.