CHI
2003
ACM
14 years 7 months ago
2003
ACM
Despite their ability to help with program correctness, assertions have been notoriously unpopular--even with professional programmers. End-user programmers seem even less likely ...