×

DART

swMATH ID: 7260
Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen
Description: 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 environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs random testing to simulate the most general environment the program can operate in; and (3) dynamic analysis of how the program behaves under random testing and automatic generation of new test inputs to direct systematically the execution along alternative program paths. Together, these three techniques constitute Directed Automated Random Testing, or DART for short. The main strength of DART is thus that testing can be performed completely automatically on any program that compiles – there is no need to write any test driver or harness code. During testing, DART detects standard errors such as program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples of C programs are very encouraging.
Homepage: http://dl.acm.org/citation.cfm?id=1065036
Related Software: CUTE; Pex; z3; STP; KLEE; Java PathFinder; jCUTE; SPIN; BLAST; CBMC; SLAM; veriSoft; Symstra; ESC/Java; YOGI; Bandera; PathCrawler; SMT-LIB; ASTREE; Korat
Referenced in: 58 Publications
all top 5

Referenced by 146 Authors

4 Rusu, Vlad
3 Amadini, Roberto
3 Arusoaie, Andrei
3 Gange, Graeme
3 Godefroid, Patrice
3 Mesnard, Fred
3 Payet, Étienne
3 Stuckey, Peter James
3 Vidal, Germán
2 Bjørner, Nikolaj S.
2 Duan, Zhenhua
2 Jéron, Thierry
2 Julliand, Jacques
2 Kuliamin, Victor V.
2 Lucanu, Dorel
2 Masson, Pierre-Alain
2 Schachte, Peter
2 Søndergaard, Harald
2 Tian, Cong
2 Veith, Helmut
2 Zhang, Nan
1 Adir, Allon
1 Al-Rawi, Bashar
1 Alba, Enrique
1 Amato, Gianluca
1 Anand, Saswat
1 Andrlon, Mak
1 Babić, Domagoj
1 Bagnara, Roberto
1 Bardin, Sébastien
1 Baskiotis, Nicolas
1 Bonsangue, Marcello Maria
1 Bu, Kangkang
1 Bu, Lei
1 Bué, Pierre-Christophe
1 Bushnell, David H.
1 Carlier, Matthieu
1 Cavalcanti, Ana
1 Chakraborty, Supratik
1 Chattopadhyay, Sudipta
1 Chen, Xin
1 Chernov, E. S.
1 Chicano, Francisco
1 Chin, Wei-Ngan
1 Christakis, Maria
1 Clarke, Edmund Melson jun.
1 Dams, Dennis René
1 de Boer, Frank S.
1 de Moura, Leonardo
1 Erzberger, Heinz
1 Farinier, Benjamin
1 Ferenc, Rudolf
1 Forrest, Stephanie
1 Gallois-Wong, Diane
1 Gaudel, Marie-Claude
1 Giannakopoulou, Dimitra
1 Girol, Guillaume
1 Gori, Roberta
1 Gotlieb, Arnaud
1 Groce, Alex
1 Grosu, Radu
1 Gupta, Ashutosh
1 Havelund, Klaus
1 Héam, Pierre-Cyrille
1 Heere, Karen
1 Hegedűs, Peter
1 Heljanko, Keijo
1 Helmstetter, C. E.
1 Henzinger, Thomas A.
1 Holzer, Andreas
1 Holzmann, Gerard J.
1 Hooimeijer, Pieter
1 Hriţcu, Cătălin
1 Hsiao, Michael S.
1 Hu, Yi-Qi
1 Huang, Xiaowan
1 Jain, Rahul
1 Jeannet, Bertrand
1 Joshi, Rajeev
1 Kádár, István
1 Kapur, Deepak
1 Katelman, Michael
1 Kinder, Johannes
1 Klarlund, Nils
1 Köpf, Boris
1 Kouchnarenko, Olga
1 Kravchenko, Dmitry
1 Krishnamoorthy, Saparya
1 Kröning, Daniel
1 Kugler, Hillel
1 Lahiri, Shuvendu Kumar
1 Lampropoulos, Leonidas
1 Li, Xuandong
1 Liang, Yongjuan
1 Lingappan, Loganathan
1 Maillet-Contoz, L.
1 Maraninchi, Florence
1 Masson, Catherine
1 Meseguer Guaita, José
1 Midya, Abhisek
...and 46 more Authors

Referencing Publications by Year