Rong Chen, Daniel Köb, Franz Wotawa. Diagnosing Java Programs with Static Abstractions of Data Structures. In Zhongzhi Shi, Qing He, editors, Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China. pages 369-372, Springer, 2004. [doi]
Abstract is missing.