Login / Signup
Application of the trace assertion method to the specification, design, and verification of automaton programs.
E. V. Kuzmin
Valery A. Sokolov
D. Ju. Chalyy
Published in:
Program. Comput. Softw. (2009)
Keyphrases
</>
high accuracy
detection method
synthetic data
experimental evaluation
high precision
data sets
case study
similarity measure
prior knowledge
dynamic programming
computational cost
classification accuracy
classification method