Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior | IEEE Conference Publication | IEEE Xplore