Songqing Liu, LiPing Li, Hai-Feng Guo. Generating test cases via model-based simulation. 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 17-24, IEEE, 2012. [doi]
Abstract is missing.