Discovering Likely Method Specifications

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/11901433_39 ◽

2006 ◽

pp. 717-736 ◽

Cited By ~ 11

Author(s):

Nikolai Tillmann ◽

Feng Chen ◽

Wolfram Schulte

Download Full-text