Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.

Sandro Morasca Angelo Morzenti Pierluigi San Pietro Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. 39-52 1996 ISSTA http://doi.acm.org/10.1145/229000.226300 db/conf/issta/issta96.html#MorascaMP96