DART: directed automated random testing

Abstract

We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) <i>automated</i> extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs <i>random</i> testing to simulate the most general… (More)
DOI: 10.1145/1065010.1065036
View Slides

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0100200'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

2,125 Citations

Semantic Scholar estimates that this publication has 2,125 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics