Sign in
Demo Abstract: AutoPCT: An Agile Protocol Conformance Automatic Test Platform Based on Editable EFSM.
Zhu Tang
Sudan Li
Peng Xun
Chengsong Wang
Wenping Deng
Baosheng Wang
Published in:
INFOCOM Workshops (2020)
Keyphrases
</>
finite state machines
communication protocol
state machines
real time
high level
higher level
lightweight
model checking
fully automatic
protocol specification
hidden markov models
project management
client server architecture
software engineering
test data