Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.

Gordon Fraser, Franz Wotawa

Browse the full ICSEA paper archive.