Extracting Timed Automata from Java Methods.

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger

Browse the full SCAM paper archive.