Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Saved in:
Bibliographic Details
Title: Reorder Pointer Flow in Sound Concurrency Bug Prediction.
Authors: Guo, Yuqi1,2, guoyq@ios.ac.cn, Zhu, Shihao1,2, zhush@ios.ac.cn, Cai, Yan1,2, yancai@ios.ac.cn, He, Liang3,4, heliang@iscas.ac.cn, Zhang, Jian1,2, zj@ios.ac.cn
Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
DOI:10.1145/3597503.3623300