INSTEP: A static instrumentation framework for preserving extra-functional properties | IEEE Conference Publication | IEEE Xplore