Inferring Computational State Machine Models from Program Executions | IEEE Conference Publication | IEEE Xplore