@inproceedings{DBLP:conf/sigsoft/LahiriMSH13,
  author    = {Shuvendu K. Lahiri and
               Kenneth L. McMillan and
               Rahul Sharma and
               Chris Hawblitzel},
  title     = {Differential assertion checking},
  booktitle = {Joint Meeting of the European Software Engineering Conference and
               the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
               ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages     = {345--355},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2491411.2491452},
  doi       = {10.1145/2491411.2491452},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/LahiriMSH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}