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
Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method
TL;DR: To solve the counting problem, an approximate method that employs a recent Markov Chain Monte Carlo (MCMC) sampling strategy called “flat histogram” is proposed and two refinement strategies are proposed for the sampling process, which result in two algorithms, MCMC-Flat1/2 and MCMC/t, respectively.
Proceedings ArticleDOI
Generative modeling games for exploratory industry-academic research
Andrew Walenstein,Andrew Malton +1 more
TL;DR: An approach to industry-academic research collaboration in which generative modeling is the central mechanism for not only enabling tactical coordination in exploratory research, but also for ensuring strategic alignment of both partners through a cooperative/competitive game approach of model evolution is presented.
Book ChapterDOI
A Testing Tool for IoT Systems Operating with Limited Network Connectivity
Matej Klima,Miroslav Bures +1 more
TL;DR: In this paper, the authors present a process model of the tested system that may be affected by limited network connectivity, and support for this specialized MBT technique on the Oxygen platform.
An Automatic Test Case Generation Method from Checklist
TL;DR: With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated.
Dissertation
Model-based Testing of Operating System-Level Security Mechanisms
TL;DR: In this paper, the authors present an environnement of test-de-sequence based on a base of modele for programs sequentiels and concurrents, which is used to model and test a microprocesseur application.
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.