Sign in

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.

Mila Dalla PredaRoberto GiacobazziArun LakhotiaIsabella Mastroeni
Published in: POPL (2015)
Keyphrases