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 条
  • [41] Model-Driven Testing in Software Product Lines
    Perez Lamancha, Beatriz
    Polo Usaola, Macario
    Garcia Rodriguez de Guzman, Ignacio
    2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS, 2009, : 511 - +
  • [42] A Model-Driven Approach to Teaching Concurrency
    Carro, Manuel
    Herranz, Angel
    Marino, Julio
    ACM TRANSACTIONS ON COMPUTING EDUCATION, 2013, 13 (01):
  • [43] A Rational approach to model-driven development
    Brown, A. W.
    Iyengar, S.
    Johnston, S.
    IBM SYSTEMS JOURNAL, 2006, 45 (03) : 463 - 480
  • [44] An Abstract Interpretation Approach for Enhancing the Java']Java Bytecode Verifier
    Barbuti, Roberto
    De Francesco, Nicoletta
    Tesei, Luca
    COMPUTER JOURNAL, 2010, 53 (06): : 679 - 700
  • [45] Testing operational transformations in model-driven engineering
    Ciancone, Andrea
    Filieri, Antonio
    Mirandola, Raffaela
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2014, 10 (01) : 19 - 32
  • [46] Virtualization for Testing in Model-driven Distributed System
    Kim, Youngheum
    Lee, Seungyong
    Kim, Seungbeom
    2012 IEEE 75TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), 2012,
  • [47] Model-Driven Integration Testing of Hypermedia Systems
    Vu, Henry
    Fertig, Tobias
    Braun, Peter
    JOURNAL OF WEB ENGINEERING, 2019, 18 (4-6): : 381 - 408
  • [48] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
    Grigorjevs, Jurijs
    MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35
  • [49] Development Automation of Real-Time Java']Java: Model-Driven Transformation and Synthesis
    Chang, Wanli
    Wei, Ran
    Zhao, Shuai
    Wellings, Andy
    Woodcock, Jim
    Burns, Alan
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (05)
  • [50] A Heap Model for Java']Java Bytecode to Support Separation Logic
    Luo, Chenguang
    He, Guanhua
    Qin, Shengchao
    APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 127 - 134
12345