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 条
  • [41] Mutation-Based Test-Case Generation with Ecdar
    Larsen, Kim G.
    Lorber, Florian
    Nielsen, Brian
    Nyman, Ulrik M.
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
  • [42] Metallaxis-FL: mutation-based fault localization
    Papadakis, Mike
    Le Traon, Yves
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (5-7): : 605 - 628
  • [43] A Theoretical Framework for Understanding Mutation-Based Testing Methods
    Shin, Donghwan
    Bae, Doo-Hwan
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 299 - 308
  • [44] Gene mutation-based and specific therapies in precision medicine
    Wang, Xiangdong
    JOURNAL OF CELLULAR AND MOLECULAR MEDICINE, 2016, 20 (04) : 577 - 580
  • [45] SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing
    Koike, Yuki
    Katsura, Hiroyuki
    Yakura, Hiromu
    Kurogome, Yuma
    PROCEEDINGS OF THE 38TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, ACSAC 2022, 2022, : 519 - 533
  • [46] MUTEC: Mutation-based Testing of Cross Site Scripting
    Shahriar, Hossain
    Zulkernine, Mohammad
    2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR SECURE SYSTEMS, 2009, : 47 - 53
  • [47] Semantic Fault Localization for Mutation-based Program Repair
    Dimovski, Aleksandar S.
    Rexhepi, Shpetim
    Velinov, Goran
    Zeqiri, Izet
    2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, 2024, : 149 - 153
  • [48] Threats to Validity in Experimenting Mutation-Based Fault Localization
    Jeon, Juyoung
    Hong, Shin
    2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), 2020, : 1 - 4
  • [49] HMER: A Hybrid Mutation Execution Reduction approach for Mutation-based Fault Localization
    Li, Zheng
    Wang, Haifeng
    Liu, Yong
    JOURNAL OF SYSTEMS AND SOFTWARE, 2020, 168
  • [50] 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 - +
12345