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 Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
TL;DR: This state-of-the-art survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented.
Proceedings ArticleDOI
Observation Based Creation of Minimal Test Suites for Autonomous Vehicles
TL;DR: The presented approach uses training sets which are observations of traffic situations as system specification, which aims at deriving test-cases which incorporate the continuous behavior of other traffic participants.
Proceedings ArticleDOI
Security testing of web applications: a search-based approach for detecting SQL injection vulnerabilities
Muyang Liu,Ke Li,Tao Chen +2 more
TL;DR: This paper proposes an automatic security test case generation approach to detect SQL injection vulnerabilities for web applications, following a search-based software engineering (SBSE) paradigm, and proposes a novel fitness function that evaluates the similarity between the SQL statements produced by feeding user inputs in the system under test and a known malicious SQL statement.
Proceedings ArticleDOI
Dodona: automated oracle data set selection
TL;DR: Dodona is described, a system that supports the generation of test oracles and is more effective and efficient than the current state-of-the-art approach for generating oracle data sets, and can often yield oracles that are almost as effective as oracles hand-crafted by engineers without support.
Proceedings ArticleDOI
Evaluating Symbolic Execution-Based Test Tools
Lajos Cseppento,Zoltán Micskei +1 more
TL;DR: This research collected a representative set of programming language concepts that should be handled by test input generators, mapped them to 300 code snippets that would serve as inputs for the tools, created an automated framework to execute and evaluate these snippets, and performed experiments on four Java and .NET test generator tools.
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.