Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier. Expressing and implementing operational profiles for reactive software validation. In Ninth International Symposium on Software Reliability Engineering, ISSRE 1998, Paderborn, Germany, November 4-7, 1998. pages 222-230, IEEE Computer Society, 1998. [doi]
Abstract is missing.