Céline Bigot Alain Faivre Jean-Pierre Gallois Arnault Lapitre David Lugato Jean-Yves Pierron Nicolas Rapin Automatic Test Generation with AGATHA. 591-596 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190591.htm db/conf/tacas/tacas2003.html#BigotFGLLPR03