Verification-based test case generation for information-flow properties.

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Mssig, Bernhard Beckert

Browse the full SAC paper archive.