Generating test cases via model-based simulation.

Songqing Liu, Liping Li, Hai-Feng Guo

Browse the full IRI paper archive.