Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, March 2007.
@InProceedings{CA:BLD07,
Author = {du Bousquet, Lydie and Ledru, Yves and Dadeau, Frédéric and Allouti, F.},
Title = {A Case Study in Matching Test and Proof Coverage},
BookTitle = {Third Workshop on Model-Based Testing (MBT)},
Address = {Braga, Portugal},
Month = {March},
Year = {2007}
}
Get EndNote Reference (.ref)