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
Vulnerability and Exploitation of Digital Certificates
TL;DR: This research paper will provide an overview of the motivations, techniques, tactics, and procedures of cybercrime actors who misuse and exploit digital certificates and cryptographic key technologies for malicious intentions.
Proceedings ArticleDOI
A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools
TL;DR: In this paper , the authors present an automated generation approach to test the correctness of a compliance check tool, using a set of digital twins with known properties as test input, which leverages flow graphs to represent the space of possible models.
Journal ArticleDOI
Exploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection
TL;DR: A comprehensive and consistent review of hybrid fuzzing techniques has not been explored as discussed by the authors, but a taxonomy of existing hybrid Fuzzing tools, problems, and solutions have been developed in this sphere.
Proceedings ArticleDOI
Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0
TL;DR: In this paper , the authors present different established testing methods, evaluate their suitability and describe an approach for a capable test environment for I4.0 components, which is not yet specified how these tools are to be systematically tested for correctness, compliance and conformity.
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System
TL;DR: In this paper, a model-based testing strategy for interlocking system controllers is presented that ex-ploits the fact that the design has already been veried, so that it can be used as a reference model for test case and test oracle generation.
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.