Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.

Neil Walkinshaw, John Derrick, Qiang Guo

Browse the full FM paper archive.