Cited By
View all- Cui ZDou WGao YWang DSong JZheng YWang TYang RXu KHu YWei JHuang TRoychoudhury APaiva AAbreu RStorey M(2024)Understanding Transaction Bugs in Database SystemsProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639207(1-13)Online publication date: 20-May-2024
- De Boer MDe Gouw SKlamroth JJung CUlbrich MWeigl A(2023)Formal Specification and Verification of JDK’s Identity Hash Map ImplementationFormal Aspects of Computing10.1145/359472935:3(1-26)Online publication date: 13-Sep-2023
- Winter LBuse Fde Graaf Dvon Gleissenthall KKulahcioglu Ozkan B(2023)Randomized Testing of Byzantine Fault Tolerant AlgorithmsProceedings of the ACM on Programming Languages10.1145/35860537:OOPSLA1(757-788)Online publication date: 6-Apr-2023
- Show More Cited By