Applying Learning Techniques to Oracle Synthesis

Abstract

Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability requires a specification of the intended behavior of the software under analysis. Unfortunately, software many times lacks such specifications. This issue seriously diminishes the analyzability of software with respect to its reliability. Thus, finding novel techniques to capture the intended software behavior in the form of specifications would allow us to exploit them for automated reliability analysis.

BibTeX

@inproceedings{Molina:ASE20,
  author    = {Facundo Molina},
  title     = {Applying Learning Techniques to Oracle Synthesis},
  booktitle = {ASE},
  pages     = {1153--1157},
  publisher = {{IEEE}},
  year      = {2020},
}

Applying Learning Techniques to Oracle Synthesis

Abstract

Related papers