Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert. Verification-based test case generation for information-flow properties. In Chih-Cheng Hung, George A. Papadopoulos, editors, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019. pages 2231-2238, ACM, 2019. [doi]
Abstract is missing.