Distributed On-the-Fly Model Checking and Test Case Generation.

Christophe Joubert Radu Mateescu Distributed On-the-Fly Model Checking and Test Case Generation. 126-145 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_8 db/conf/spin/spin2006.html#JoubertM06