Author:
Ahrendt Wolfgang,Mostowski Wojciech,Paganelli Gabriele
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Benchmarking the Benchmarks;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10
2. Java reflection API: revealing the dark side of the mirror;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
3. Verifying OpenJDK’s Sort Method for Generic Collections;Journal of Automated Reasoning;2017-08-31
4. Conformance test development with the Java modeling language;Concurrency and Computation: Practice and Experience;2017-02-02
5. OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case;Computer Aided Verification;2015