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 条
  • [21] Synthesis of verifiable concurrent Java']Java components from formal models
    Marino, Julio
    Alborodo, Raul N. N.
    Fredlund, Lars-Ake
    Herranz, Angel
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 71 - 105
  • [22] Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
    Bajczi, Levente
    Telbisz, Csanad
    Somorjai, Mark
    Adam, ZsOfia
    Dobos-Kovacs, Mihaly
    Szekeres, Daniel
    Mondok, Milan
    Molnar, Vince
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 412 - 417
  • [23] Exogenous coordination of concurrent software components with Java']JavaBIP
    Bliudze, Simon
    Mavridou, Anastasia
    Szymanek, Radoslaw
    Zolotukhina, Alina
    SOFTWARE-PRACTICE & EXPERIENCE, 2017, 47 (11): : 1801 - 1836
  • [24] Flow analysis for verifying properties of concurrent software systems
    Dwyer, MB
    Clarke, LA
    Cobleigh, JM
    Naumovich, G
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2004, 13 (04) : 359 - 430
  • [25] Synthesis of verifiable concurrent Java components from formal models
    Julio Mariño
    Raúl N. N. Alborodo
    Lars-Åke Fredlund
    Ángel Herranz
    Software & Systems Modeling, 2019, 18 : 71 - 105
  • [26] Dealing with non-determinism in testing concurrent java components
    Wildman, Luke
    Long, Brad
    Strooper, Paul
    Proc. Asia Pac. Softw. Eng. Conf. APSEC, (393-400):
  • [27] DPAC: An infrastructure for dynamic program analysis of concurrency Java programs
    Jiang, Yanyan
    Xu, Chang
    Ma, Xiaoxing
    Proceedings of the 2013 Middleware Doctoral Symposium, MDS 2013 - Co-located with ACM/IFIP/USENIX International Middleware Conference, Middleware 2013, 2013,
  • [28] Design of a toolset for dynamic analysis of concurrent Java']Java programs
    Bechini, A
    Tai, KC
    6TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 98) - PROCEEDINGS, 1998, : 190 - 197
  • [29] A practical MHP information analysis for concurrent Java']Java programs
    Li, L
    Verbrugge, C
    LANGUAGES AND COMPILERS FOR HIGH PERFORMANCE COMPUTING, 2005, 3602 : 194 - 208
  • [30] Writing concurrent Java']Java programs based on CafeOBJ specifications
    Ha, Xuan-Linh
    Ogata, Kazuhiro
    2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 618 - 623
12345