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

Large Language Model-Guided Detection of Java Fileless Webshells via Bytecode Instrumentation

Συγγραφείς: Shuhao, Liu, Yijun, Liu, Pei, Guo, Zhizhong, Wang, Lei, Zheng

Πηγή: 2025 22nd International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP) Wavelet Active Media Technology and Information Processing (ICCWAMTIP), 2025 22nd International Computer Conference on. :1-5 Dec, 2025

Relation: 2025 22nd International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP)

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

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects

Συγγραφείς: Schott, Stefan, Ponta, Serena Elisa, Fischer, Wolfram, Klauke, Jonas, Bodden, Eric

Θεματικοί όροι: Software Engineering, Cryptography and Security

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

Lightweight Compilation of Method Invocation Bytecodes in Java

Συγγραφείς: Kaur, Harpreet, Young, Scott Ryan, Pirvu, Marius, Kent, Kenneth Blair

Πηγή: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :1114-1121

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

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)

Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection

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

Πηγή: 2021 IEEE 15th International Workshop on Software Clones (IWSC) IWSC Software Clones (IWSC), 2021 IEEE 15th International Workshop on. :29-35 Oct, 2021

Relation: 2021 IEEE 15th International Workshop on Software Clones (IWSC)

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

A Technique for Analyzing Bytecode in a Java Project for the Purpose of an Automated Assessment of the Possibility and Effectiveness of the Hidden Investment of Information and its Volumes in a Java Project

Συγγραφείς: Andrey, Krasov, Pavel, Sharikov

Πηγή: 2020 12th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2020 12th International Congress on. :258-263 Oct, 2020

Relation: 2020 12th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)

Symbolic Typestate Inference for Guard Reduction: A Bytecode Optimization Pass for Faster Java FFM

Συγγραφείς: Arnab Karmakar

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