Automatic Test Set Generation for Function Block Based Systems Using Model Checking.

Jussi Lahtinen

Browse the full QUATIC paper archive.