Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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},
  venue     = {Limassol, Cyprus},
  eventdate = {2019-04-08/2019-04-12}
}