@inproceedings{SchmittWeiss2007,
  author       = {Peter H. Schmitt and Benjamin Wei{\ss}},
  title        = {Inferring Invariants by Symbolic Execution},
  editor       = {Bernhard Beckert},
  booktitle    = {Proceedings, 4th International Verification Workshop (VERIFY'07)},
  volume       = {259},
  series       = {CEUR Workshop Proceedings},
  pages        = {195--210},
  publisher    = {CEUR-WS.org},
  year         = {2007}
}