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

Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro

Browse the full ISSTA paper archive.