DART: Directed Automated Random Testing

  title={DART: Directed Automated Random Testing},
  author={Koushik Sen},
  booktitle={Haifa Verification Conference},
  • Koushik Sen
  • Published in Haifa Verification Conference 2009
  • Computer Science
Testing with manually generated test cases is the primary technique used in industry to improve reliability of software-in fact, such testing is reported to account for over half of the typical cost of software development. I will describe directed automated random testing (also known as concolic testing), an efficient approach which combines random and symbolic testing. Concolic testing enables automatic and systematic testing of programs, avoids redundant test cases and does not generate… Expand

Topics from this paper

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)
Three state-of-the-art unit test generation tools for Java (Randoop, EvoSuite, and Agitar) are applied to the 357 real faults in the Defects4J dataset and investigated how well the generated test suites perform at detecting these faults. Expand
Developing and Evaluating Objective Termination Criteria for Random Testing
This article proposes two promising termination criteria, “All Equivalent” (AEQ) and "All Included in One" (AIO), applicable to random testing, and model and implement them in the context of a general random testing process composed of independent random testing sessions. Expand
make test-zesti: A symbolic execution solution for improving regression testing
This paper presents a technique for amplifying the effect of existing test suites using a lightweight symbolic execution mechanism, which thoroughly checks all sensitive operations executed by the test suite for errors, and explores additional paths around sensitive operations. Expand
Automatic generation of high quality test sets via CBMC
A new methodology for the automatic generation of \high quality" test sets guaranteeing full branch coverage is presented, which requires an analysis of the control ow graph of the initially empty test set T. Expand
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
An automatic technique for generating maintainable regression unit tests for programs that achieves good coverage and mutation kill score, were readable by the product's developers, and required few edits as the system under test evolved. Expand
GRT: An Automated Test Generator Using Orchestrated Program Analysis
Guided Random Testing (GRT) performs static analysis on software under test to extract relevant knowledge and further combines the information extracted at run-time to guide the whole test generation procedure. Expand
Automated Test Generation for Object-Oriented Programs with Multiple Targets
This paper extends the functionalities of the system for automated test generation so that it can handle multiple targets to cover and identifies all targets involved in uncovered branches and evaluates method sequences according to a fitness function, while applying a search strategy to suppress combinatorial explosion. Expand
Programming Language and Tools for Automated Testing
An experiment to evaluate a family of test suites generated using one test case generation algorithm, which exhaustively enumerates every sequence of method calls within a certain bound shows over 80% code coverage and high mutation coverage for the most comprehensive test suite generated. Expand
Search-based system testing: high coverage, no false alarms
By generating test cases at the GUI level, the EXSYST prototype achieves higher coverage than search-based test generators at the unit level; yet, every failure can be shown to be caused by a real sequence of input events. Expand
A Taxonomic Review of Adaptive Random Testing for Numeric Programs
The results of the review show that significant research efforts have been made towards the field of ART, however further empirical studies are still required to make the technique applicable in different test scenarios in order to impact on the industry. Expand


Blackbox Fuzzing Whitebox Fuzzing Verification There is one thing stronger than all the armies in the world; and that is an idea whose time has come
  • Blackbox Fuzzing Whitebox Fuzzing Verification There is one thing stronger than all the armies in the world; and that is an idea whose time has come