Mutation-based exploration of a method for verifying concurrent Java components

被引：0
|
作者：
Long, Brad [1 ,2 ]
Duke, Roger [1 ]
Goldson, Doug [1 ]
Strooper, Paul [1 ]
Wildman, Luke [1 ]
机构：
[1] Sch. Info. Technol. and Elec. Eng., University of Queensland, Brisbane, QLD 4072, Australia
[2] Australian Development Centre, Oracle Corporation, 300 Ann St., Brisbane, QLD 4000, Australia
来源：
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM) | 2004年 / 18卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Codes (symbols) - Computer software - Concurrency control - Concurrent engineering - Failure analysis - Problem solving
引用
收藏
页码：3633 / 3640
相关论文
共 50 条
  • [21] Mutation-based inter-class testing
    Yoon, H
    Choi, B
    Jeon, JO
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 174 - 181
  • [22] Dealing with non-determinism in testing concurrent Java']Java components
    Wildman, L
    Long, B
    Strooper, P
    12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 393 - 400
  • [23] 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
  • [24] Targeted mutation-based therapy for intrahepatic cholangiocarcinoma
    Yang, Facai
    Qiu, Yinghe
    Yi, Bin
    HEPATOMA RESEARCH, 2023, 9
  • [25] MUTAGEN: Faster Mutation-Based Random Testing
    Mista, Agustin
    2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 120 - 122
  • [26] Mutation-based Testing of Integer Overflow Vulnerabilities
    Zeng, Fanping
    Mao, Liangliang
    Chen, Zhide
    Cao, Qing
    2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4416 - 4419
  • [27] Sound and Complete Mutation-Based Program Repair
    Rothenberg, Bat-Chen
    Grumberg, Orna
    FM 2016: FORMAL METHODS, 2016, 9995 : 593 - 611
  • [28] Mutation-Based Graph Inference for Fault Localization
    Musco, Vincenzo
    Monperrus, Martin
    Preux, Philippe
    2016 IEEE 16TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2016, : 97 - 106
  • [29] A quantum mutation-based backtracking search algorithm
    Nama, Sukanta
    Sharma, Sushmita
    Saha, Apu Kumar
    Gandomi, Amir H.
    ARTIFICIAL INTELLIGENCE REVIEW, 2022, 55 (04) : 3019 - 3073
  • [30] Integrating neural mutation into mutation-based fault localization: A hybrid approach
    Liu, Hengyuan
    Li, Zheng
    Han, Baolong
    Chen, Xiang
    Paul, Doyle
    Liu, Yong
    JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 221
12345