81
Voted
ICSE
2011
IEEE-ACM
14 years 28 days ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...