Jinsong Xia

Fault localization based on statement frequency

Zuohua Ding, Ting Shu, Jinsong Xia, 2016, Inf. Sci..

Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search

Zuohua Ding, Mingyue Jiang, Ting Shu, 2021, Inf. Softw. Technol..

A Fault Localization Method Based on Dynamic Failed Execution Blocks

Zuohua Ding, Mingyue Jiang, Jinsong Xia, 2019, SOFL+MSVL.

Fault Localization Using a Failed Execution Slice

Lei Wang, Ting Shu, Jinsong Xia, 2017, 2017 International Conference on Software Analysis, Testing and Evolution (SATE).

An Evolving-Graph-Based Finite State Machine Model for Protocol Conformance Testing in MANETs

Ting Shu, Jinsong Xia, Mangmang Gu, 2015, MUE 2015.