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
Generating finite state machines from abstract state machines
TL;DR: An algorithm is given that derives a finite state machine from a given abstract state machine (ASM) specification to integrate ASM specs with the existing tools for test case generation from FSMs.
Journal ArticleDOI
Evaluating improvements to a meta-heuristic search for constrained interaction testing
TL;DR: One meta-heuristic search algorithm for constructing CIT samples is reformulate to more efficiently incorporate constraints, and the new version compares favorably with greedy algorithms on real-world problems, and, though the modifications were aimed at constrained problems, it shows similar advantages when feature constraints are absent.
Journal IssueDOI
IPOG-IPOG-D: efficient test generation for multi-way combinatorial testing
TL;DR: Two strategies for multi-way testing are presented, one of which generalizes an existing strategy, called in-parameter-order, from pairwise testing to multi- way testing, and the other combines the first strategy with a recursive construction procedure to reduce the number of multi-Way combinations that have to be enumerated.
Journal Article
Combinatorial aspects of covering arrays
TL;DR: A combinatorial view of covering arrays is adopted, encompassing basic bounds, direct construction, recursive constructions, algorithmic methods, and applications.
Book ChapterDOI
Directed symbolic execution
TL;DR: This paper proposes two new directed symbolic execution strategies that aim to solve the problem of automatically finding program executions that reach a particular target line, and proposes a hybrid strategy, Mix-CCBSE, which alternates CCBSE with another (forward) search strategy.