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


Several approaches to test case generation based on formal specifications have been put forward, but how to automatically generate test cases to ensure that all of the representative program paths of the corresponding program are traversed still remains an open problem. In this paper, we describe a new technique called "Vibration" method to tackle this… (More)
DOI: 10.1109/APSEC.2011.16


  • Presentations referencing similar topics