Test criteria for model-checking-assisted test case generation: A computational study.

Bolong Zeng, Li Tan

Browse the full IRI paper archive.