Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d Amorim, Darko Marinov, Sarfraz Khurshid. State extensions for java pathfinder. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 863-866, ACM, 2008. [doi]
Abstract is missing.