Lutess: A Specification-Driven Testing Environment for Synchronous Software.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Browse the full ICSE paper archive.