Login / Signup
A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences.
Ting Shu
Zuohua Ding
Mei-Hwa Chen
Jinsong Xia
Published in:
Inf. Sci. (2016)
Keyphrases
</>
test sequences
dynamic programming
formal analysis
similarity measure
high quality
objective function
video sequences
search algorithm
error rate
test cases
privacy preserving
combinatorial optimization
generation method