Patent ID: 9477928
Filing Date: 2016-10-25
CPC Classification: G06F,G06N

Claim Text:
1. A method, implemented with a processor and storage device having instructions stored thereon, wherein the instructions when executed by the processor, cause the processor to perform the method steps, comprising: symbolically executing application code on a first framework, a framework comprising an abstraction in which common code providing generic functionality can be specialized by user code providing specific functionality; creating a first model based on the symbolic execution of the first framework; symbolically executing the application code on a second framework; creating a second model based on the symbolic execution of the second framework; based on the first model, determining one or more parameters associated with the first framework; based on the second model, determining one or more parameters associated with the second framework; and based on a comparison of the one or more parameters associated with the first framework and the one or more parameters associated with the second framework, selecting one of the first framework and the second framework as a desired framework for execution of the application code.