Optimizing Generation of Object Graphs in Java PathFinder.

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid

Browse the full ICST paper archive.