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

Ting Shu, Yechao Huang, Zuohua Ding, Jinsong Xia, Mingyue Jiang. Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. Information \& Software Technology, 135:106557, 2021. [doi]

Authors

Ting Shu

This author has not been identified. Look up 'Ting Shu' in Google

Yechao Huang

This author has not been identified. Look up 'Yechao Huang' in Google

Zuohua Ding

This author has not been identified. Look up 'Zuohua Ding' in Google

Jinsong Xia

This author has not been identified. Look up 'Jinsong Xia' in Google

Mingyue Jiang

This author has not been identified. Look up 'Mingyue Jiang' in Google