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