Inferring Specifications to Detect Errors in Code

@inproceedings{Taghdiri:ASE04,
  author    = {Mana Taghdiri},
  title     = {Inferring Specifications to Detect Errors in Code},
  booktitle = {ASE},
  pages     = {144--153},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}