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