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

Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni

Browse the full POPL paper archive.