Joachim Müssig

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Software Testing

Information Flows

Object Oriented Systems

Top Venues

Publications

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
Verification-based test case generation for information-flow properties. SAC (2019)