On the concept of variable roles and its use in software analysis.

Yulia Demyanova, Helmut Veith, Florian Zuleger

Browse the full FMCAD paper archive.