共 50 条
- [21] Refined method for dynamic data race detection of BPEL programs Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3064 - 3080
- [24] Improving static resolution of dynamic class loading in Java using dynamically gathered environment information Automated Software Engineering, 2009, 16 : 357 - 381
- [25] Dynamic data structure analysis for Java']Java programs 14TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2006), PROCEEDINGS, 2006, : 191 - +
- [27] Static Data Race Detection in Multi-task Programs for Industrial Robots DISTRIBUTED COMPUTING AND INTELLIGENT TECHNOLOGY, ICDCIT 2023, 2023, 13776 : 51 - 66
- [28] TRaDe: Data race detection for java Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2074 : 761 - 770
- [29] TRaDe, a topological approach to on-the-fly race detection in Java']Java programs USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 105 - 116
- [30] Thread-Sensitive Data Race Detection for Java']Java 2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, : 32 - 42