Testing synchronous critical software.

Farid Ouabdesselam, Ioannis Parissis

Browse the full ISSRE paper archive.