kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2022★ Distinguished Paper

TOGA: A Neural Method for Test Oracle Generation

Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri

Abstract

Testing is widely recognized as an important stage of the software development lifecycle. Effective software testing can provide benefits such as bug finding, preventing regressions, and documentation. In terms of documentation, unit tests express a unit's intended functionality, as conceived by the developer. A test oracle, typically expressed as an condition, documents the intended behavior of a unit under a given test prefix. Synthesizing a functional test oracle is a challenging problem, as it must capture the intended functionality rather than the implemented functionality.

BibTeX
@inproceedings{Dinella-al:ICSE22,
  author    = {Elizabeth Dinella and
               Gabriel Ryan and
               Todd Mytkowicz and
               Shuvendu K. Lahiri},
  title     = {{TOGA:} A Neural Method for Test Oracle Generation},
  booktitle = {ICSE},
  pages     = {2130--2141},
  publisher = {{ACM}},
  year      = {2022},
}

Related papers