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

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

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)

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

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

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

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

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

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

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)

Performance Study of Kotlin and Java Program Considering Bytecode Instructions and JVM JIT Compiler

Authors: Sonoyama, Atsuya, Kamiyama, Takeshi, Oguchi, Masato, Yamaguchi, Saneyasu

Source: 2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) CANDARW Computing and Networking Workshops (CANDARW), 2021 Ninth International Symposium on. :127-133 Nov, 2021

Relation: 2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW)

Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs

Authors: Martin, Taythir G, Podorozhny, Rodion, Ahmed, Shibbir

Source: Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension. :448-452

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

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

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)

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

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Authors: Nakamura, Hayataka, Sonoyama, Atsuya, Kamiyama, Takeshi, Oguchi, Masato, Yamaguchi, Saneyasu

Source: Journal of Information Processing. 32:380-395

Subject Terms: Java bytecode, Java Virtual Machine, Java, Kotlin

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

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