Bounded Program Verification Using an SMT Solver: A Case Study

@inproceedings{f/icst/LiuNT12,
  author    = {Tianhai Liu and
               Michael Nagel and
               Mana Taghdiri},
  editor    = {Giuliano Antoniol and
               Antonia Bertolino and
               Yvan Labiche},
  title     = {Bounded Program Verification Using an {SMT} Solver: {A} Case Study},
  booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation ({ICST} 2012)},
  venue     = {Montreal, QC, Canada},
  eventdate = {2012-04-17/2012-04-21},
  pages     = {101--110},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  doi       = {10.1109/ICST.2012.90}
}