Reachability Analysis of Concurrent Self-modifying Code.

Walid Messahel, Tayssir Touili

Browse the full ICECCS paper archive.