Kamu erişimi zorunlu olan makaleler - Yuqi GuoDaha fazla bilgi edinin
Bir yerde sunuluyor: 3
Tolerate control-flow changes for sound data race prediction
S Zhu, Y Guo, L Zhang, Y Cai
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
Zorunlu olanlar: Chinese Academy of Sciences, National Natural Science Foundation of China
Sound Predictive Fuzzing for Multi-threaded Programs
Y Guo, Z Liang, S Zhu, J Wang, Z Yang, W Shen, J Zhang, Y Cai
2023 IEEE 47th Annual Computers, Software, and Applications Conference …, 2023
Zorunlu olanlar: Chinese Academy of Sciences, National Natural Science Foundation of China
Reorder Pointer Flow in Sound Concurrency Bug Prediction
Y Guo, S Zhu, Y Cai, L He, J Zhang
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
Zorunlu olanlar: Chinese Academy of Sciences, National Natural Science Foundation of China
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir