Directed incremental symbolic execution
WebJun 4, 2011 · In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. WebIn Directed Incremental Symbolic Execution (DiSE), our insight is to combine the efficiencies of static analysis techniques that com-pute program difference information …
Directed incremental symbolic execution
Did you know?
WebIn [8], Person et al. introduce DiSE (directed incremental symbolic execution) - a technique that uses static analysis and change impact analysis to determine the differences between program versions and the impact of these differences on other locations in the program, and uses this information to direct the WebDirected Incremental Symbolic Execution Suzette Person Guowei Yang Neha Rungta NASA Langley Research Center University of Texas at Austin NASA Ames Research …
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 … WebSuzette Person,Guowei Yang,Neha Rungta,Sarfraz Khurshid,Directed incremental symbolic execution. ... Yit Phang Khoo,Bor-Yuh Evan Chang,Jeffrey S. Foster,Mixing type checking and symbolic execution. Jin Zhou,Brian Demsky,Bamboo: a data-centric, object-oriented approach to many-core software. ... Raghu Karinthi,Mark Weiser,Incremental re ...
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 ... 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 ...
WebSep 28, 2012 · Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE …
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. image cm changeWeb2024 Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. 2024 Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy . 2024 … image coastlineWebOct 1, 2024 · Symbolic execution is a powerful technique for systematically exploring program paths, but scaling symbolic execution to practical programs remains … image coach trainingWebDirected Incremental Symbolic Execution (DiSE) [76] uses static analysis to find the code blocks that are effected by a change and then uses this information in dynamic analysis to prune the execution tree for symbolic execution. DiSE only generate affected path conditions because it preforms symbolic execution after statically analyzing the ... image clothing okcWebIn 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 efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program ... image club medWebDirected Incremental Symbolic Execution (DiSE) is a technique that reduces the cost of symbolic execution by leveraging change impact information. We will be working on finding reductions in the ... image cochonWebMay 31, 2013 · 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 efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore … image cnavas filter