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]
No references recorded for this publication.
No citations of this publication recorded.