An Analysis Platform for Execution-Based Model Generation | IEEE Conference Publication | IEEE Xplore