A Research for Executable Path Automatic Generation Method Based on EFSM.

Biao Wu Qi-Wei Ge

Published in: J. Softw. (2023)

Keyphrases

generation method
finite state machines
feature generation
fully automatic
data driven
semi automatic
model checking
databases
case study
artificial neural networks
state space
formal specification