Improved Control-flow Classification via Java Bytecode-Metadata

Συγγραφείς: Sateanpattanakul, Siwadol, Jetpipattanapong, Duangpen

Πηγή: Proceedings of the 2026 9th International Conference on Software Engineering and Information Management. :65-71

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3796315.3796325

Assessing model-driven mutation testing of Java bytecode

Συγγραφείς: Ancona, Freya^{Aff1, IDs10270026013982_cor1}, Bockisch, Christoph^Aff1, Neufeld, Daniel^Aff1, Taentzer, Gabriele^Aff1

Πηγή: Software and Systems Modeling. :1-24

DALEQ - Explainable Equivalence for Java Bytecode

Συγγραφείς: Dietrich, Jens, Hassanshahi, Behnaz

Πηγή: 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

Συγγραφείς: Shenoy, Akshatha, Furia, Carlo A.

Θεματικοί όροι: Software Engineering

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2607.00830

Abstract Interpretation of Java Bytecode in Sturdy

Συγγραφείς: Marx, Stefan, Erdweg, Sebastian

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

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3678721.3686226

Mutation Testing of Java Bytecode: A Model-Driven Approach

Συγγραφείς: Bockisch, Christoph, Eren, Deniz, Lehmann, Sascha, Neufeld, Daniel, Taentzer, Gabriele

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

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3640310.3674103

Coverage-Based Debloating for Java Bytecode

Συγγραφείς: Soto Valero, César, Author, Durieux, Thomas, Author, Harrand, Nicolas, Author, Baudry, Benoit, Author

Συνεισφορές: Soto Valero, César, Author, Durieux, Thomas, Author, Harrand, Nicolas, Author, Baudry, Benoit, Author

Πηγή: WASP ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Θεματικοί όροι: software bloat, code coverage, program specialization, bytecode, software maintenance, Datalogi, Computer Science

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Schafer, Andre, Heinze, Thomas S., Amme, Wolfram

Πηγή: 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

Συγγραφείς: Adeel Iqbal, Minhaj Ahmad Khan

Πηγή: VAWKUM Transactions on Computer Sciences. 13:276-296

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

Συγγραφείς: Marco Paganoni, Carlo A. Furia

Πηγή: Formal Aspects of Computing. 37:1-26

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Συγγραφείς: Schneider, Jean-Guy, Lee, Sung Une

Πηγή: 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

Συγγραφείς: Sonoyama, Atsuya, Kamiyama, Takeshi, Oguchi, Masato, Yamaguchi, Saneyasu

Πηγή: 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

Συγγραφείς: Martin, Taythir G, Podorozhny, Rodion, Ahmed, Shibbir

Πηγή: Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension. :448-452

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3794763.3794793

Verifying Functional Correctness Properties At the Level of Java Bytecode

Συγγραφείς: Paganoni, Marco, Furia, Carlo A.

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2409.20071

The Strengths and Behavioral Quirks of Java Bytecode Decompilers

Συγγραφείς: Harrand, Nicolas, Soto-Valero, Cesar, Monperrus, Martin, Baudry, Benoit

Πηγή: 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

Συγγραφείς: Paganoni, Marco, Furia, Carlo A.

Θεματικοί όροι: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2409.20056

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Συγγραφείς: Nakamura, Hayataka, Sonoyama, Atsuya, Kamiyama, Takeshi, Oguchi, Masato, Yamaguchi, Saneyasu

Πηγή: Journal of Information Processing. 32:380-395

Θεματικοί όροι: Java bytecode, Java Virtual Machine, Java, Kotlin

WebJShrink: a web service for debloating Java bytecode

Συγγραφείς: Macias, Konner, Mathur, Mihir, Bruce, Bobby R., Zhang, Tianyi, Kim, Miryung

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

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3368089.3417934

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Συγγραφείς: Christoph Bockisch, Freya Dorn, Deniz Eren, Sascha Lehmann, Daniel Neufeld, Gabriele Taentzer

Θεματικοί όροι: Java bytecode, Mutation testing, Model transformation

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