DART: Directed automated random testing
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - cs.umd.edu
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - researchgate.net
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - algos.inesc-id.pt
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - osl.cs.illinois.edu
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - fa09.pbworks.com
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
[PDF][PDF] DART: Directed Automated Random Testing
P Godefroid, N Klarlund, K Sen - 2005 - cs.jhu.edu
We present a new tool, named DART, for automatically testing software that combines three
main techniques:(1) automated extraction of the interface of a program with its external …
main techniques:(1) automated extraction of the interface of a program with its external …
DART
P Godefroid, N Klarlund, K Sen - ACM SIGPLAN Notices, 2005 - cir.nii.ac.jp
抄録< jats: p> We present a new tool, named DART, for automatically testing software that
combines three main techniques:(1)< jats: italic> automated</jats: italic> extraction of the …
combines three main techniques:(1)< jats: italic> automated</jats: italic> extraction of the …
DART: Directed Automated Random Testing
K Sen - Hardware and Software: Verification and Testing, 2011 - ndl.ethernet.edu.et
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 …
improve reliability of software–in fact, such testing is reported to account for over half of the …
[引用][C] DART: Directed automated random testing
P GODEFROID, N KLARLUND… - ACM SIGPLAN notices, 2005 - pascal-francis.inist.fr
DART : Directed automated random testing CNRS Inist Pascal-Francis CNRS Pascal and
Francis Bibliographic Databases Simple search Advanced search Search by classification …
Francis Bibliographic Databases Simple search Advanced search Search by classification …