Learning to Produce Direct Tests for Security Verification Using Constrained Process Discovery.

Kuo-Kai Hsieh, Li-C. Wang, Wen Chen, Jayanta Bhadra

Browse the full DAC paper archive.