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]

Abstract

Abstract is missing.