L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, May 1999.
Farid Ouabdesselam
Jean-Luc Richier
@InProceedings{CIC:pfl-icse99,
Author = {du Bousquet, L. and Ouabdesselam, F. and Richier, J.-L. and Zuanon, N.},
Title = {Lutess: a specification-driven testing environment for synchronous software},
BookTitle = {21st International Conference on Software Engineering (ICSE'99)},
Pages = {267--276},
Publisher = {ACM Press},
Address = {Los Angeles},
Month = {May},
Year = {1999}
}
Get EndNote Reference (.ref)