Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Verification-based Test Case Generation for Information-Flow Properties

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Mihai Herda, Shmuel Tyszberowicz, Joachim Müssig und Bernhard Beckert
In:34rd Annual ACM Symposium on Applied Computing (SAC 2019)
Jahr:2019

BibTeX

@inproceedings{SAC2019,
  author    = {Mihai Herda and
               Shmuel Tyszberowicz and
               Joachim M{\"{u}}ssig and
               Bernhard Beckert},
  title     = {Verification-based Test Case Generation for Information-Flow Properties},
  booktitle = {34rd Annual {ACM} Symposium on Applied Computing ({SAC} 2019)},
  year      = {2019},
  venue     = {Limassol, Cyprus},
  eventdate = {2019-04-08/2019-04-12}
}