Automatic Selection of System Functional Scenarios for Formal Specification Animation.

Shaoying Liu

Browse the full APSEC paper archive.