CA:DLB07

Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, March 2007.

Contact

Frédéric Dadeau
Yves Ledru

BibTex Reference

@InProceedings{CA:DLB07,
   Author = {Dadeau, Frédéric and Ledru, Yves and du Bousquet, Lydie},
   Title = {Measuring a Java Test Suite Coverage using JML Specifications},
   BookTitle = {Third Workshop on Model-Based Testing (MBT)},
   Address = {Braga, Portugal},
   Month = {March},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)