A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications | IEEE Conference Publication | IEEE Xplore