103
Voted
TSE
2008
15 years 2 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...