WebOur approach uses a combination of static analysis and symbolic execution to generate summaries of program behaviors impacted by the differences. We show in this work that checking equivalence of behaviors in two program versions reduces to checking equivalence of just the impacted behaviors. WebJan 1, 2024 · One of the incremental checking techniques is Directed Incremental Symbolic Execution (DiSE) [45, 46]. DiSE applies symbolic execution and static analysis in synergy to enable more efficient symbolic execution of programs as they evolve. The static analysis is based on intraprocedural data and control flow dependences.
A change impact analysis to characterize evolving …
WebDirected incremental symbolic execution. Directed incremental symbolic execution. Guowei Yang. 2012, ACM SIGPLAN Notices. Continue Reading. ... from refined generated references. Our conceptual framework is based on static and symbolic execution analysis, and aims to contribute to the maintenance and evolution challenges of model-driven ... WebJul 15, 2012 · Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes, to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions … michael ratcliffe u of t
Directed Incremental Symbolic Execution ACM Transactions on Soft…
WebSep 28, 2012 · Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate … WebMay 19, 2024 · In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the ... WebMay 6, 2015 · The approach is based on model counting over the constraints collected with a symbolic execution of the program, and exploits the similarity between program versions to reduce cost and improve the quality of analysis results. We implemented our approach in the Symbolic PathFinder tool and illustrate it on several Java case studies, including ... michael ratcliff obituary