Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang. Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 17-24, IEEE Computer Society, 2011. [doi]
Abstract is missing.