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