Inferring specifications to detect errors in code (2004)

by M Taghdiri
Venue:In Automated Software Engineering (ASE