An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs-Reference-Cited by-同舟云学术

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs

Published:1999 Issue: Volume: Page:338-354
ISSN:0302-9743
Container-title:Software Engineering — ESEC/FSE ’99
language:
Short-container-title:

Author:

Naumovich Gleb,Avrunin George S.,Clarke Lori A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48166-4_21

Reference21 articles.

1. http://vislab-www.nps.navy.mil/~java/course/sourcecode .

2. http://www.hensa.ac.uk/parallel/groups/wotug/java/applets .

3. http://www.kai.com/assurej .

4. D. Callahan and J. Subhlok. Static analysis of low-level synchronization. In Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, number 1, pages 100–111, Jan. 1989.

5. J. C. Corbett. Constructing compact models of concurrent Java programs. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-98), pages 1–10, Mar. 1998.

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

1. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution;Lecture Notes in Computer Science;2024

2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023

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

4. Statically driven generation of concurrent tests for thread‐safe classes;Software Testing, Verification and Reliability;2021-05-04

5. A new algorithm for low-deterministic security;International Journal of Information Security;2014-08-15