Incremental state-space exploration for programs with dynamically allocated data.

Steven Lauterburg Ahmed Sobeih Darko Marinov Mahesh Viswanathan Incremental state-space exploration for programs with dynamically allocated data. 291-300 2008 ICSE http://doi.acm.org/10.1145/1368088.1368128 conf/icse/2008 db/conf/icse/icse2008.html#LauterburgSMV08