A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications.

Shaoying Liu, Shin Nakajima

Browse the full APSEC paper archive.