Symbolic Execution of Behavioral Requirements. - Tao Wang; Abhik Roychoudhury; Roland H. C. Yap; S. C. Choudhary (PADL, 2004)