Tihomir Gvero Milos Gligoric Steven Lauterburg Marcelo d'Amorim Darko Marinov Sarfraz Khurshid State extensions for java pathfinder. 863-866 2008 ICSE http://doi.acm.org/10.1145/1368088.1368224 conf/icse/2008 db/conf/icse/icse2008.html#GveroGL08