HIESTERMAN LUKE THEODORE

Automated qualification of a binary application program