Incremental State-Space Exploration for Programs with Dynamically Allocated Data

OH,another idea that pop up in my mind but have not followed.

This paper deal with increamental state space exploration for Programs with Dynamically Allocated Data