High-level data races-Reference-Cited by-同舟云学术

High-level data races

Published:2003 Issue:4 Volume:13 Page:207-227
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Artho Cyrille,Havelund Klaus,Biere Armin

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference40 articles.

1. Applying static analysis to large-scale, multi-threaded Java programs. Proceedings 13th Australian Software Engineering Conference (ASWEC 2001), Canberra, August 2001, (ed.). IEEE Computer Society: Los Alamitos, CA, 2001; 68-75.

2. Sun Microsystems. Java 2 Platform Enterprise Edition Specification. http://java.sun.com/j2ee [2002].

3. The Java Programming Language. Addison-Wesley, 1996.

4. Concurrent Programming in Java. Addison-Wesley, 1997.

5. High-level data races. VVEIS'03: The First International Workshop on Verification and Validation of Enterprise Information Systems, Angers, France, April 2003. ICEIS Press: Setúbal, Portugal, 2003.

Cited by 91 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

2. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16

3. Software Fault Localization: an Overview of Research, Techniques, and Tools;Handbook of Software Fault Localization;2023-04-20

4. Static Data Race Detection in Multi-task Programs for Industrial Robots;Lecture Notes in Computer Science;2023

5. Thread-Sensitive Data Race Detection for Java;2021 28th Asia-Pacific Software Engineering Conference (APSEC);2021-12