A method for verifying concurrent Java components based on an analysis of concurrency failures

被引：0
|
作者：
Long, Brad [1 ,2 ]
Strooper, Paul [1 ]
Wildman, Luke [1 ]
机构：
[1] School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, QLD 4072, Australia
[2] Australian Development Centre, Oracle Corporation, 300 Ann Street, Brisbane, QLD 4000, Australia
来源：
Concurrency and Computation: Practice and Experience | 2007年 / 19卷 / 03期
关键词：
Complete classification - Component - Concurrency - Concurrent software - Dynamic verifications - [!text type='Java']Java[!/text] - Number of components - Tools and techniques;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：281 / 294
相关论文
共 50 条
  • [31] Introduction to the 9th international workshop on java [trademark] and components for parallelism, distribution and concurrency
    Caromel, Denis
    Chaumette, Serge
    Fox, Geoffrey
    Graham, Peter
    Dongarra, Jack
    Lea, Doug
    Getov, Vladimir
    Thiruvathukal, George K.
    Walker, David
    Casteigts, Arnaud
    Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM, 2007,
  • [32] Verifying correctness of persistent concurrent data structures: a sound and complete method
    Derrick, John
    Doherty, Simon
    Dongol, Brijesh
    Schellhorn, Gerhard
    Wehrheim, Heike
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (4-5) : 547 - 573
  • [33] Event-based design of concurrent programs with Java']Java implementation
    Rischel, H
    Sun, HY
    COMMUNICATING PROCESS ARCHITECTURES 2001, 2001, 59 : 117 - 128
  • [34] A framework of concurrent mechanism based on java multithread
    Jiang, Wuxue
    Li, Qi
    Wang, Zhiming
    Luo, Jianfeng
    Telkomnika - Indonesian Journal of Electrical Engineering, 2013, 11 (09): : 5395 - 5401
  • [35] Comparing the cost-effectiveness of statically analysing and model checking concurrent Java']Java components for deadlocks
    Ngui, John
    Strooper, Paul
    Wildman, Luke
    Wojcicki, Margaret
    2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 223 - +
  • [36] An Empirical Analysis of Build Failures in the Continuous Integration Workflows of Java']Java-Based Open-Source Software
    Rausch, Thomas
    Hummer, Waldemar
    Leitner, Philipp
    Schulte, Stefan
    2017 IEEE/ACM 14TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2017), 2017, : 345 - 355
  • [37] Composing pattern-based components and verifying correctness
    Dong, Jing
    Alencar, Paulo S. C.
    Cowan, Donald D.
    Yang, Sheng
    JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (11) : 1755 - 1769
  • [38] THE CONCURRENCY WORKBENCH - A SEMANTICS-BASED TOOL FOR THE VERIFICATION OF CONCURRENT SYSTEMS
    CLEAVELAND, R
    PARROW, J
    STEFFEN, B
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (01): : 36 - 72
  • [39] Field escape analysis for data confidentiality in Java']Java components
    Shi, Aiwu
    Naumovich, Gleb
    14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 143 - +
  • [40] Static analysis for computing escapability and mutability for Java']Java components
    Shi, AW
    Naumovich, G
    FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 119 - 128
12345