Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications
ISSTA, 1996.
@inproceedings{ISSTA-1996-MorascaMP,
author = "Sandro Morasca and Angelo Morzenti and Pierluigi San Pietro",
booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}",
doi = "10.1145/229000.226300",
number = 3,
pages = "39--52",
publisher = "{ACM Press}",
series = "{Software Engineering Notes}",
title = "{Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications}",
volume = 21,
year = 1996,
}