Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a summary of the path that was executed is stored. This summary records the precondition and postcondition of the path, and on subsequent calls that satisfy that precondition, the corresponding postcondition can be returned instead of executing the function again. On a closer look at this technique,  generalise the idea by allowing summaries to describe any arbitrary code fragments, in order to further extend its potential. In our research,  explore the use of fine-grained summaries, in which blocks within functions are summarised.
['Yude Lin', 'Tim Miller']
I am writing a research paper on a idea Looking Closer at Compositional Symbolic Execution
[{"from": "human", "value": "I am writing a research paper on a idea Looking Closer at Compositional Symbolic Execution"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Compositional symbolic execution has been proposed as a way to increase the efficiency of symbolic execution. Essentially, when a function is symbolically executed, a summary of the path that was executed is stored. This summary records the precondition and postcondition of the path, and on subsequent calls that satisfy that precondition, the corresponding postcondition can be returned instead of executing the function again. On a closer look at this technique,  generalise the idea by allowing summaries to describe any arbitrary code fragments, in order to further extend its potential. In our research,  explore the use of fine-grained summaries, in which blocks within functions are summarised."}]