BinSlayer: accurate comparison of binary executables.

Martial Bourquin, Andy King, Edward Robbins

Browse the full POPL paper archive.