A Symbolic Execution Framework for Algorithm−Level Modelling - Hanna, Z; Melham, T (IEEE, 2009)