Specification-based Test Generation and Optimization Using Model Checking.

Hongwei Zeng, Huaikou Miao, Jing Liu

Browse the full TASE paper archive.