Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis (bibtex)
by Patrice Godefroid, Johannes Kinder
Reference:
Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program AnalysisPatrice Godefroid, Johannes KinderInternational Symposium on Software Testing and Analysis (ISSTA'10), pages 1-12, July 2010, ACM.
Bibtex Entry:
@inproceedings{godefroidkinder-fpsafety10,
  author = {Patrice Godefroid and Johannes Kinder},
  title = {Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis},
  month = {July},
  year = {2010},
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA'10)},
  pages = {1-12},
  publisher = {ACM}
}
Powered by bibtexbrowser