Expressing and implementing operational profiles for reactive software validation.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier

Browse the full ISSRE paper archive.