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 条
  • [1] A method for verifying concurrent Java']Java components based on an analysis of concurrency failures
    Long, Brad
    Strooper, Paul
    Wildman, Luke
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (03): : 281 - 294
  • [2] Mutation-based exploration of a method for verifying concurrent Java components
    Long, Brad
    Duke, Roger
    Goldson, Doug
    Strooper, Paul
    Wildman, Luke
    Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM), 2004, 18 : 3633 - 3640
  • [3] Java']Java annotated concurrency based on the concurrent package
    Zhu, Hong
    Yin, Zhaolin
    Ding, Ying
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2006, : 38 - +
  • [4] Concurrency analysis for Java']Java
    Ungureanu, C
    Jagannathan, S
    STATIC ANALYSIS, 2000, 1824 : 413 - 432
  • [5] Testing concurrent Java']Java components
    Strooper, Paul
    Wildman, Luke
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 161 - +
  • [6] Refactoring Sequential Java']Java Code for Concurrency via Concurrent Libraries
    Dig, Danny
    Marrero, John
    Ernst, Michael D.
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 397 - 407
  • [7] Concurrency Analysis of Go and Java']Java
    Abhinav, P. Y.
    Bhat, Avakash
    Joseph, Christina Terese
    Chandrasekaran, K.
    PROCEEDINGS OF THE 2020 5TH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND SECURITY (ICCCS-2020), 2020,
  • [8] Concurrency in Go and Java']Java: Performance Analysis
    Togashi, Naohiro
    Klyuev, Vitaly
    2014 4TH IEEE INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2014, : 213 - 216
  • [9] Constraint-based concurrency in Java']Java
    Ramirez, R
    Martinez, J
    Santosa, AE
    DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 402 - 406
  • [10] Refactoring sequential java code for concurrency via concurrent libraries
    Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, United States
    Proc Int Conf Software Eng, (397-407):
12345