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
How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)
TL;DR: In this article, a path-oriented obfuscation algorithm targeting the weakest spot of dynamic symbolic execution (DSE) has been proposed to counter DSE-based deobfuscation attacks.
Proceedings ArticleDOI
Facebook’s Cyber–Cyber and Cyber–Physical Digital Twins
John Ahlgren,Kinga Bojarczuk,Sophia Drossopoulou,Inna Dvortsova,Johann George,Natalija Gucevska,Mark Harman,Maria Lomeli,Simon M. M. Lucas,Erik Meijer,Steve Omohundro,Rubmary Rojas,Silvia Sapora,Norm Zhou +13 more
TL;DR: In this paper, the authors show how the unique properties of cyber-cyber digital twins open up exciting opportunities for research and development, and how the design, implementation and deployment of digital twins at Facebook can lead to a hierarchy of twins.
Journal ArticleDOI
Automated Regression Test Case Generation for Web Application: A Survey
TL;DR: Various studies proposed by the authors have been analysed focusing on test cases generation and their approach toward web application and it is found that very few approaches and methodologies have been found that provide the real tool for test case generation.
Journal ArticleDOI
Automated Test Case Generation Based on Differential Evolution With Relationship Matrix for iFogSim Toolkit
TL;DR: A test-case-path relationship matrix to empower DE (RP-DE) is proposed and experiment results show that RP-DE uses significantly less test cases and achieves higher path coverage rate than compared state-of-the-art algorithms.
Journal ArticleDOI
Metaheuristic Techniques for Test Case Generation: A Review
TL;DR: This article presents a systematic review on several meta heuristic techniques like Genetic Algorithms, Particle Swarm optimization, Ant Colony Optimization, Bee Colony optimization, Cuckoo Searches, Tabu Searches and some modified version of these algorithms used for test case 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.