Author:
Nelson Stephen,Pearce David J.,Noble James
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Nelson, S., Pearce, D.J., Noble, J.: Understanding the impact of collection contracts on design. Technical Report 10-09, School of Engineering and Computer Science, Victoria University of Wellington, New Zealand (2010)
2. Chan, P., Lee, R.: The Java Class Libraries, 2nd edn., vol. 1. Addison-Wesley, Reading (1999)
3. Hovemeyer, D., Pugh, W.: Finding bugs is easy. In: OOPSLA Companion (2004)
4. Qualitas Research Group: Qualitas corpus release 20080603. The University of Auckland (2008), http://www.cs.auckland.ac.nz/~ewan/corpus/
5. Khoshafian, S.N., Copeland, G.P.: Object identity. In: Proc. OOPSLA (1986)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Verification of Hash Code in Mutable Classes;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
2. Profiling Field Initialisation in Java;Runtime Verification;2013
3. Understanding the Impact of Collection Contracts on Design;Objects, Models, Components, Patterns;2010