Posts
Precise Symbolic State Merging
State merging is a standard technique for mitigating path explosion in symbolic execution. Nondeterministic value summaries are guarded sets of values with overlapping guards. Without those, we cannot perform fully precise state merging in all situations (do-while loops, unstructured code, nondeterministic programs). Reconstructing symbolic execution traces from states merged with nondeterministic value summaries requires some notion of time or origin.
Launch of reengineering.software
I launched reengineering.software, a place to present advances in the area of Software Reengineering, as part of my efforts to put my work into a more general frame.
