Automatic Test Generation with AGATHA.

Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Browse the full TACAS paper archive.