On Godefroid's Stateless Search Technique for Testing Concurrent Programs.

Kuo-Chung Tai Bengi Karaçali

Published in: ISADS (2001)

Keyphrases

concurrent programs
search algorithm
search space
process algebra
database systems
database
natural language