Extracting Timed Automata from Java Methods.

Giovanni Liva Muhammad Taimoor Khan Martin Pinzger

Published in: SCAM (2017)

Keyphrases

preprocessing
machine learning methods
real time
machine learning
significant improvement
open source
data mining techniques
empirical studies
benchmark datasets
artificial intelligence
computational cost
methods require