Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.

Gordon Fraser, Franz Wotawa

Browse the full ICSEA paper archive.