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 条
  • [31] Faster Mutation-based Fault Localization With A Novel Mutation Execution Strategy
    Gong, Pei
    Zhao, Ruilian
    Li, Zheng
    2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2015,
  • [32] 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
  • [33] A FORTRAN LANGUAGE SYSTEM FOR MUTATION-BASED SOFTWARE TESTING
    KING, KN
    OFFUTT, AJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (07): : 685 - 718
  • [34] Mutation-based data augmentation for software defect prediction
    Mao, Rui
    Zhang, Li
    Zhang, Xiaofang
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 36 (06)
  • [35] From genetic to bacteriological algorithms for mutation-based testing
    Baudry, B
    Fleurey, F
    Jézéquel, JM
    Le Traon, Y
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2005, 15 (02): : 73 - 96
  • [36] MUSIC: Mutation-based SQL Injection Vulnerability Checking
    Shahriar, Hossain
    Zulkernine, Mohammad
    QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 77 - 86
  • [37] Test Case Generation for Mutation-based Testing of Timeliness
    Nilsson, Robert
    Offutt, Jeff
    Mellin, Jonas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 97 - 114
  • [38] Mutation-based analysis of queueing network performance models
    Laurent, Thomas
    Arcaini, Paolo
    Trubiani, Catia
    Ventresque, Anthony
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 191
  • [39] Mutation-Based Test Case Generation for Simulink Models
    Brillout, Angelo
    He, Nannan
    Mazzucchi, Michele
    Kroening, Daniel
    Purandare, Mitra
    Ruemmer, Philipp
    Weissenbacher, Georg
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +
  • [40] Mutation-based Compliance Testing for RISC-V
    Herdt, Vladimir
    Tempel, Soren
    Grosse, Daniel
    Drechsler, Rolf
    2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 55 - 60
12345