Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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},
  place     = {Limassol, Cyprus},
  date      = {April 18--12}
  note      = {to appear}
}