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
Proceedings ArticleDOI
Reducing qualitative human oracle costs associated with automatically generated test data
TL;DR: This short paper proposes methods to extracting knowledge from programmers, source code and documentation and its incorporation into the automatic test data generation process so as to inject the realism required to produce test cases that are quick and easy for a human to comprehend and check.
Journal Article
Testing concurrent object-oriented systems with spec explorer
Colin Campbell,Wolfgang Grieskamp,Lev Nachmanson,Wolfram Schulte,Nikolai Tillmann,Margus Veanes +5 more
TL;DR: Spec Explorer as mentioned in this paper is a model-based testing tool developed at Microsoft Research that enables modeling and automatic testing of concurrent object-oriented systems, where inputs and outputs can be arbitrary data types, including objects.
Proceedings ArticleDOI
Search-based mutation testing for Simulink models
Yuan Zhan,John A. Clark +1 more
TL;DR: This paper describes how search-based automatic test-data generation methods can be used to find mutation adequate test-sets for Matlab/Simulink models.
Journal ArticleDOI
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
TL;DR: The results of an empirical study using the dynamic symbolic-execution tool, CUTE, and a search based tool, AUSTIN on five non-trivial open source applications reveal opportunities for improvement and suggests ways to hybridize these two approaches that have hitherto been developed entirely independently.
Journal ArticleDOI
On theorem prover-based testing
Achim D. Brucker,Burkhart Wolff +1 more
TL;DR: HOL-TestGen allows for an integrated workflow supporting interactive theorem proving, test case generation, and test data generation and can be used for black-box unit, sequence, reactive sequence and white-box test scenarios.