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 条
  • [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] A method for verifying concurrent Java components based on an analysis of concurrency failures
    Long, Brad
    Strooper, Paul
    Wildman, Luke
    Concurrency and Computation: Practice and Experience, 2007, 19 (03): : 281 - 294
  • [3] A Systematic Exploration of Mutation-Based Fault Localization Formulae
    Wang, Bo
    Wei, Jinkang
    Chen, Mingda
    Chen, Chong
    Lin, Youfang
    Zhang, Jie M.
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2025, 35 (01):
  • [4] Trustable components:: Yet another mutation-based approach
    Baudry, B
    Le Hanh, V
    Jézéquel, JM
    Le Traon, Y
    MUTATION TESTING FOR THE NEW CENTURY, 2001, 24 : 47 - 54
  • [5] Testing concurrent Java']Java components
    Strooper, Paul
    Wildman, Luke
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 161 - +
  • [6] MutShrink: a Mutation-based Test Database Shrinking Method
    Toledo, Ludmila, I
    Camilo-Junior, Celso G.
    Rodrigues, Cassio Leonardo
    2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2020, : 887 - 892
  • [7] Mutation-based spreadsheet debugging
    Hofer, Birgit
    Wotawa, Franz
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 132 - 137
  • [8] Tool support for testing concurrent Java']Java components
    Long, B
    Hoffman, D
    Strooper, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 555 - 566
  • [9] Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
    Zou, Yinglong
    Liu, Jiawei
    Zhai, Juan
    Zheng, Tao
    Fang, Chunrong
    Chen, Zhenyu
    arXiv,
  • [10] Dynamic Frames Based Verification Method for Concurrent Java']Java Programs
    Mostowski, Wojciech
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, 2016, 9593 : 124 - 141
12345