Author:
Rayside Derek,Benjamin Zev,Singh Rishabh,Near Joseph P.,Milicevic Aleksandar,Jackson Daniel
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards an order-aware object comparison;Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity;2020-10-19
2. Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench;IEICE Transactions on Information and Systems;2019-08-01
3. Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method;Formal Methods and Software Engineering;2019
4. Synthesizing iterators from abstraction functions;ACM SIGPLAN Notices;2013-04-10
5. JEqualityGen;ACM SIGPLAN Notices;2011-01-26