Working Around Loops for Infeasible Path Detection in Binary Programs.

Jordy Ruiz, Hugues Cass, Marianne De Michiel

Browse the full SCAM paper archive.