A unified framework for evaluating test criteria in model-checking-assisted test case generation

Bolong Zeng, Li Tan. A unified framework for evaluating test criteria in model-checking-assisted test case generation. Information Systems Frontiers, 16(5):823-834, 2014. [doi]

Abstract

Abstract is missing.