FormalTCGenerator: A Tool of Automatically Generating Test Cases for Infinite States Reactive Systems
Donghuo Chen, Shizhong Zhao · 2011
It is an attractive research topic to use model checking technique to automatically generate test cases in the research community of formal method and software testing, and recent years has witnessed many work.