Automated test generation for synchronous controllers.

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning

Browse the full ICSE paper archive.