Mining error-handling specifications for systems software

Abstract

This paper presents a technique for mining error-handling specifications from systems software. It presents a static analysis for detecting error handlers in low-level code, and it shows how function synonyms can be used to mine for error-handling specifications with only a few supporting examples.

BibTeX

@inproceedings{DeFreez:FSE18,
  author    = {Daniel DeFreez},
  title     = {Mining error-handling specifications for systems software},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {983--985},
  publisher = {{ACM}},
  year      = {2018},
}

Mining error-handling specifications for systems software

Abstract

Related papers