A Theory for Control-Flow Graph Exploration.

Stephan Arlt, Philipp Rmmer, Martin Schf

Browse the full ATVA paper archive.