Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.

Jeremy Dick, Alain Faivre

Browse the full FM paper archive.