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

Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan

Browse the full ICSE paper archive.