Automated Functional Scenarios-Based Formal Specification Animation.

Mo Li, Shaoying Liu

Browse the full APSEC paper archive.