loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Symposium on Autonomous Decentralized Systems
On Godefroid's Stateless Search Technique for Testing Concurrent Programs
Dallas, Texas
March 26-March 28
ISBN: 0-7695-1065-5
Kuo-Chung Tai, North Carolina State University
Bengi Karacali, North Carolina State University
Godefroid developed a state space exploration technique that does not store states in memory. This stateless search technique is effective for testing concurrent programs. It performs deterministic executions of a concurrent program by automatically controlling the execution of synchronization operations. This technique also uses partial order reduction methods to reduce the chance of executing two or more different totally-ordered paths with the same partial order. In this paper, we propose extensions to Godefroid's technique and compare it with other stateless search techniques for testing concurrent programs. Our empirical results indicate that a combination of stateless search and a simple cycle prediction method is very cost-effective for detecting deadlocks and violations of assertions.
Citation:
Kuo-Chung Tai, Bengi Karacali, "On Godefroid's Stateless Search Technique for Testing Concurrent Programs," isads, pp.77, Fifth International Symposium on Autonomous Decentralized Systems, 2001
Usage of this product signifies your acceptance of the Terms of Use.