Hypertesting of Programs: Theoretical Foundation and Automated Test Generation

Michele Pasqua, Mariano Ceccato, Paolo Tonella

Abstract

Hyperproperties are used to define correctness requirements that involve relations between multiple program executions. This allows, for instance, to model security and concurrency requirements, which cannot be expressed by means of trace properties.

BibTeX

@inproceedings{Pasqua-al:ICSE24,
  author    = {Michele Pasqua and
               Mariano Ceccato and
               Paolo Tonella},
  title     = {Hypertesting of Programs: Theoretical Foundation and Automated Test Generation},
  booktitle = {ICSE},
  pages     = {115:1--115:12},
  publisher = {{ACM}},
  year      = {2024},
}

Hypertesting of Programs: Theoretical Foundation and Automated Test Generation

Abstract

Related papers