Thoroughness of Specification-Based Testing of Synchronous Programs.

Ioannis Parissis, Jrme Vassy

Browse the full ISSRE paper archive.