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
Investigating Metrics that are Good Predictors of Human Oracle Costs An Experiment
TL;DR: Human oracle cost, the cost associated in estimating the correctness of the output for the given test inputs is manually evaluated by humans and this cost is significant and is a concern for researchers.
Proceedings ArticleDOI
Exploiting MDE for Platform-Independent Testing of Service Orchestrations
TL;DR: The challenges in the testing of SOA applications are discussed, the use of Model-Driven Engineering (MDE) is proposed to improve the flexibility of testing tools, and the plan for realizing MDE-driven MBT within an existing online testing framework is outlined.
Journal ArticleDOI
TEGDroid: Test Case Generation Approach for Android Apps Considering Context and GUI Events
TL;DR: An approach named TEGDroid is presented for generating test case for Android Apps considering both context and GUI Events and is effective in identifying context events and had 65%-91% coverage across the eight selected applications.
Posted Content
Complete Test Suites for Input/Output Systems.
TL;DR: In this article, the authors study a more general conformance relation, show how to generate finite and complete test suites, and discuss the complexity of the test generation mechanism under this more general relation.
Proceedings ArticleDOI
Extraction of test cases procedures from textual use cases to reduce test effort: Test Factory Experience Report
Erick Barros dos Santos,Lucas Simão da Costa,Bruno Sabóia Aragão,Ismayle de Sousa Santos,Rossana M. C. Andrade +4 more
TL;DR: This paper presents an experience report in a Test Factory about the use of a tool that partially automates the specification of test procedures based on use cases, which is applied to software from the telecommunications industry.
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.