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:Proceedings of the 34rd Annual ACM Symposium on Applied Computing, SAC 2019


  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 = {Proceedings of the 34rd Annual {ACM} Symposium on Applied Computing,
               {SAC} 2019},
  year      = {2019},
  place     = {Limassol, Cyprus},
  date      = {April 18--12}
  note      = {to appear}