Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors-Reference-Cited by-同舟云学术

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors

Published:2004 Issue: Volume: Page:150-164
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Artho Cyrille,Havelund Klaus,Biere Armin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30476-0_16.pdf

Reference23 articles.

1. Arnold, K., Gosling, J.: The Java Programming Language. Addison-Wesley, Reading (1996)

2. Artho, C., Biere, A.: Applying static analysis to large-scale, multithreaded Java programs. In: Grant, D. (ed.) Proc. 13th ASWEC, Canberra, Australia, IEEE Computer Society, Los Alamitos (2001)

3. Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing. Verification & Reliability (STVR) 13(4) (2003)

4. Lecture Notes in Computer Science;C. Artho,2004

5. Blanchet, B.: Escape analysis for object-oriented languages: application to Java. In: Proc. OOPSLA 1999, Denver, USA, pp. 20–34. ACM Press, New York (1999)

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

1. A Review of Dynamic Verification of Security and Dependability Properties;Artificial Intelligence and Security Challenges in Emerging Networks;2019

2. A survey of race bug detection techniques for multithreaded programmes;Software Testing, Verification and Reliability;2014-12-19

3. Precise Detection of Atomicity Violations;Hardware and Software: Verification and Testing;2013

4. The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis;Automated Technology for Verification and Analysis;2013

5. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs;Runtime Verification;2012