@inproceedings{holzer:schallhart:tautschnig:veith:cav08,
  title = "{FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement}",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2008",
  address = "Princeton, NJ, USA",
  booktitle = "Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)",
  month = "July",
  pages = "209--213",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5123",
}