DART swMATH ID: 7260 Software Authors: Godefroid, Patrice; Klarlund, Nils; Sen, Koushik 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 Keywords: Software Testing; Random Testing; Automated Test Generation; Interfaces; Program Verification Related Software: CUTE; KLEE; z3; STP; Pex; Java PathFinder; jCUTE; CBMC; BLAST; SPIN; SLAM; Symstra; ASTREE; veriSoft; ESC/Java; PathCrawler; CVC4; GitHub; Korat; SMT-LIB Cited in: 69 Documents all top 5 Cited by 186 Authors 4 Rusu, Vlad 3 Arusoaie, Andrei 3 Bardin, Sébastien 3 Godefroid, Patrice 3 Mesnard, Fred 3 Payet, Étienne 3 Vidal, Germán 2 Bjørner, Nikolaj S. 2 Bonsangue, Marcello Maria 2 de Boer, Frank S. 2 Duan, Zhenhua 2 Farinier, Benjamin 2 Girol, Guillaume 2 Jéron, Thierry 2 Johnsen, Einar Broch 2 Julliand, Jacques 2 Kuliamin, Victor V. 2 Lucanu, Dorel 2 Masson, Pierre-Alain 2 Tian, Cong 2 Veith, Helmut 2 Visser, Willem 2 Voogd, Erik 2 Zhang, Nan 1 Abdulla, Parosh Aziz 1 Adir, Allon 1 Al-Rawi, Bashar 1 Alba, Enrique 1 Amadini, Roberto 1 Amato, Gianluca 1 Anand, Saswat 1 Atig, Mohamed Faouzi 1 Babić, Domagoj 1 Bagnara, Roberto 1 Baskiotis, Nicolas 1 Bu, Kangkang 1 Bué, Pierre-Christophe 1 Bushnell, David H. 1 Carlier, Matthieu 1 Cavalcanti, Ana 1 Chaki, Sagar 1 Chakraborty, Supratik 1 Chattopadhyay, Sudipta 1 Chen, Yu-Fang 1 Chernov, E. S. 1 Chicano, Francisco 1 Chin, Wei-Ngan 1 Christakis, Maria 1 Clarke, Edmund Melson jun. 1 Clun, Donato 1 Dams, Dennis René 1 De Angelis, Emanuele 1 de Moura, Leonardo 1 Diep, Bui Phi 1 Ducousso, Soline 1 Elbaum, Sebastian 1 Erzberger, Heinz 1 Fan, Lingling 1 Ferenc, Rudolf 1 Filieri, Antonio 1 Fioravanti, Fabio 1 Forrest, Stephanie 1 Fu, Zhoulai 1 Gallagher, John P. 1 Gallois-Wong, Diane 1 Gange, Graeme 1 Gaudel, Marie-Claude 1 Giannakopoulou, Dimitra 1 Gori, Roberta 1 Gotlieb, Arnaud 1 Groce, Alex 1 Grosu, Radu 1 Gupta, Ashutosh 1 Haltermann, Jan 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 Hermenegildo, Manuel V. 1 Holík, Lukáš 1 Holzer, Andreas 1 Holzmann, Gerard J. 1 Hooimeijer, Pieter 1 Hriţcu, Cătălin 1 Hsiao, Michael S. 1 Hu, Denghang 1 Huang, Xiaowan 1 Hughes, John 1 Jain, Rahul 1 Jakobs, Marie-Christine 1 Jeannet, Bertrand 1 Joshi, Rajeev 1 Kádár, István 1 Kapur, Deepak 1 Karri, Ramesh 1 Katelman, Michael 1 Kinder, Johannes ...and 86 more Authors all top 5 Cited in 18 Serials 4 Formal Methods in System Design 4 Theory and Practice of Logic Programming 3 Programming and Computer Software 3 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 Acta Cybernetica 1 Science of Computer Programming 1 Computers & Operations Research 1 Formal Aspects of Computing 1 Real-Time Systems 1 ACM Transactions on Modeling and Computer Simulation 1 INFORMS Journal on Computing 1 Computer Languages, Systems & Structures 1 Science China. Information Sciences 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 7 Fields 68 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year