Assessing model-driven mutation testing of Java bytecode

Authors: Ancona, Freya^{Aff1, IDs10270026013982_cor1}, Bockisch, Christoph^Aff1, Neufeld, Daniel^Aff1, Taentzer, Gabriele^Aff1

Source: Software and Systems Modeling. :1-24

Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode

Authors: Shenoy, Akshatha, Furia, Carlo A.

Subject Terms: Software Engineering

Access URL: https://arxiv.org/abs/2607.00830

Improved Control-flow Classification via Java Bytecode-Metadata

Authors: Sateanpattanakul, Siwadol, Jetpipattanapong, Duangpen

Source: Proceedings of the 2026 9th International Conference on Software Engineering and Information Management. :65-71

Availability: http://dl.acm.org/doi/10.1145/3796315.3796325

Mutation Testing of Java Bytecode: A Model-Driven Approach

Authors: Bockisch, Christoph, Eren, Deniz, Lehmann, Sascha, Neufeld, Daniel, Taentzer, Gabriele

Source: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. :237-248

Availability: http://dl.acm.org/doi/10.1145/3640310.3674103

Abstract Interpretation of Java Bytecode in Sturdy

Authors: Marx, Stefan, Erdweg, Sebastian

Source: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs. :17-22

Availability: http://dl.acm.org/doi/10.1145/3678721.3686226

DALEQ - Explainable Equivalence for Java Bytecode

Authors: Dietrich, Jens, Hassanshahi, Behnaz

Source: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :3628-3638 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Finding Source Code Clones in Intermediate Representations of Java Bytecode

Authors: Schafer, Andre, Heinze, Thomas S., Amme, Wolfram

Source: 2023 IEEE 17th International Workshop on Software Clones (IWSC) IWSC Software Clones (IWSC), 2023 IEEE 17th International Workshop on. :37-43 Oct, 2023

Relation: 2023 IEEE 17th International Workshop on Software Clones (IWSC)

Efficient Java Bytecode Analysis and Sequence Identification for Embedded Systems

Authors: Adeel Iqbal, Minhaj Ahmad Khan

Source: VAWKUM Transactions on Computer Sciences. 13:276-296

Coverage-Based Debloating for Java Bytecode

Authors: Soto Valero, César, Author, Durieux, Thomas, Author, Harrand, Nicolas, Author, Baudry, Benoit, Author

Contributors: Soto Valero, César, Author, Durieux, Thomas, Author, Harrand, Nicolas, Author, Baudry, Benoit, Author

Source: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Subject Terms: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-316426
https://doi.org/10.1145/3546948

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack

Authors: Marco Paganoni, Carlo A. Furia

Source: Formal Aspects of Computing. 37:1-26

WebJShrink: a web service for debloating Java bytecode

Authors: Macias, Konner, Mathur, Mihir, Bruce, Bobby R., Zhang, Tianyi, Kim, Miryung

Source: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1665-1669

Availability: http://dl.acm.org/doi/10.1145/3368089.3417934

Verifying Functional Correctness Properties At the Level of Java Bytecode

Authors: Paganoni, Marco, Furia, Carlo A.

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2409.20071

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Authors: Christoph Bockisch, Freya Dorn, Deniz Eren, Sascha Lehmann, Daniel Neufeld, Gabriele Taentzer

Subject Terms: Java bytecode, Mutation testing, Model transformation

CryptoScout: Detecting Cryptographic API Misuses in Java Bytecode via Faithful Parameter Analysis

Reasoning About Exceptional Behavior At the Level of Java Bytecode

Authors: Paganoni, Marco, Furia, Carlo A.

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2409.20056

The Strengths and Behavioral Quirks of Java Bytecode Decompilers

Authors: Harrand, Nicolas, Soto-Valero, Cesar, Monperrus, Martin, Baudry, Benoit

Source: 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) SCAM Source Code Analysis and Manipulation (SCAM), 2019 19th International Working Conference on. :92-102 Sep, 2019

Relation: 2019 IEEE 19th International Working Conference on Source Code Analysis and Manipulation (SCAM)

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration

Authors: Bockisch, Christoph, Taentzer, Gabriele, Neufeld, Daniel

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2404.14097

Constraint Based Testing and Verification of Java Bytecode Programs

Authors: Achour, Safaa, Benattou, Mohammzed

Source: 2018 IEEE 5th International Congress on Information Science and Technology (CiSt) Information Science and Technology (CiSt), 2018 IEEE 5th International Congress on. :64-69 Oct, 2018

Relation: 2018 IEEE 5th International Congress on Information Science and Technology (CiSt)

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Authors: Schneider, Jean-Guy, Lee, Sung Une

Source: 2022 29th Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2022 29th Asia-Pacific. :139-148 Dec, 2022

Relation: 2022 29th Asia-Pacific Software Engineering Conference (APSEC)

Design, implementation, and application of GPU-based Java bytecode interpreters

Authors: Celik, Ahmet, Nie, Pengyu, Rossbach, Christopher J., Gligoric, Milos

Source: Proceedings of the ACM on Programming Languages. 3(OOPSLA):1-28

Availability: http://dl.acm.org/doi/10.1145/3360603