Sciweavers

ENTCS
2007

Measuring a Java Test Suite Coverage Using JML Specifications

14 years 7 days ago
Measuring a Java Test Suite Coverage Using JML Specifications
Frédéric Dadeau, Yves Ledru, Lydie d
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
Comments (0)