124
click to vote
ICSE
2011
IEEE-ACM
14 years 6 months 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...