Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Verification-based Test Case Generation for Information-Flow Properties

Reviewed Paper In Proceedings

Author(s):Mihai Herda, Shmuel Tyszberowicz, Joachim Müssig, and Bernhard Beckert
In:34rd Annual ACM Symposium on Applied Computing (SAC 2019)
Year: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}
}