loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th International Conference on Software Engineering (ICSE'07)
Hybrid Concolic Testing
Minneapolis, Minnesota
May 20-May 26
ISBN: 0-7695-2828-7
Rupak Majumdar, UC Los Angeles, USA
Koushik Sen, UC Berkeley, USA
We present hybrid concolic testing, an algorithm that interleaves random testing with concolic execution to obtain both a deep and a wide exploration of program state space. Our algorithm generates test inputs automatically by interleaving random testing until saturation with bounded exhaustive symbolic exploration of program points. It thus combines the ability of random search to reach deep program states quickly together with the ability of concolic testing to explore states in a neighborhood exhaustively. We have implemented our algorithm on top of CUTE and applied it to obtain better branch coverage for an editor implementation (VIM 5.7, 150K lines of code) as well as a data structure implementation in C. Our experiments suggest that hybrid concolic testing can handle large programs and provide, for the same testing budget, almost 4? the branch coverage than random testing and almost 2? that of concolic testing.
Index Terms:
directed random testing, concolic testing.
Citation:
Rupak Majumdar, Koushik Sen, "Hybrid Concolic Testing," icse, pp.416-426, 29th International Conference on Software Engineering (ICSE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.