Mutation Testing of Java Bytecode: A Model-Driven Approach

被引：0
|
作者：
Bockisch, Christoph [1 ]
Eren, Deniz [1 ]
Lehmann, Sascha [1 ]
Neufeld, Daniel [1 ]
Taentzer, Gabriele [1 ]
机构：
[1] Philipps-Universität Marburg, Marburg, Germany
来源：
Proceedings - MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems |
关键词：
Ability testing - Model checking - Object oriented programming - Program debugging - Software testing;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：237 / 248
相关论文
共 50 条
  • [21] Testing of model-driven development applications
    Beatriz Marín
    Carlos Gallardo
    Diego Quiroga
    Giovanni Giachetti
    Estefanía Serral
    Software Quality Journal, 2017, 25 : 407 - 435
  • [22] Model-driven Testing of RESTful APIs
    Fertig, Tobias
    Braun, Peter
    WWW'15 COMPANION: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON WORLD WIDE WEB, 2015, : 1497 - 1502
  • [23] Model-Driven Method for Performance Testing
    Javed, Z.
    Mohammadian, Masoud
    2018 7TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO) (ICRITO), 2018, : 147 - 155
  • [24] Testing of model-driven development applications
    Marin, Beatriz
    Gallardo, Carlos
    Quiroga, Diego
    Giachetti, Giovanni
    Serral, Estefania
    SOFTWARE QUALITY JOURNAL, 2017, 25 (02) : 407 - 435
  • [25] AN AUTOMATED MODEL-DRIVEN TESTING FRAMEWORK For Model-Driven Development and Software Product Lines
    Lamancha, Beatriz Perez
    Polo Usaola, Macario
    Piattini, Mario
    ENASE 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, : 112 - 121
  • [26] Towards model-driven unit testing
    Engels, Gregor
    Gueldali, Baris
    Lohmann, Marc
    MODELS IN SOFTWARE ENGINEERING, 2007, 4364 : 182 - +
  • [27] Constraint based Testing and Verification of Java']Java Bytecode Programs
    Achour, Safaa
    Benattou, Mohammed
    2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 64 - 69
  • [28] Model-driven Transformation-based Generation of Java']Java Stress Tests
    Winter, Victor L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 99 - 114
  • [29] Validation in model-driven engineering: Testing model transformations
    Fleurey, F
    Steel, J
    Baudry, B
    SIVOES-MODEVA 2004, PROCEEDINGS, 2004, : 29 - 40
  • [30] Towards a model-driven approach to reuse
    France, RB
    Ghosh, S
    Turk, DE
    OOIS 2001: 7TH INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 181 - 190
12345