Bolong Zeng, Li Tan. Test criteria for model-checking-assisted test case generation: A computational study. In Chengcui Zhang, James Joshi, Elisa Bertino, Bhavani M. Thuraisingham, editors, IEEE 13th International Conference on Information Reuse & Integration, IRI 2012, Las Vegas, NV, USA, August 8-10, 2012. pages 600-607, IEEE, 2012. [doi]
Abstract is missing.