Search Results - Java bytecode*

Coverage-Based Debloating for Java Bytecode

Authors: Soto Valero, César Durieux, Thomas Harrand, Nicolas et al.

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

Abstract Interpretation of Java Bytecode in Sturdy

Authors: Stefan Marx Sebastian Erdweg

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

Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract)

Authors: Donat-Bouillud, Pierre Křikava, Filip Hain, Jakob et al.

Contributors: Donat-Bouillud, Pierre Křikava, Filip Hain, Jakob et al.

Subject Terms: bytecode, ddc:004, compiler

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.1

Mutation Testing of Java Bytecode: A Model-Driven Approach

Authors: Christoph Bockisch Deniz Eren Sascha Lehmann et al.

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

Java Bytecode Normalization for Code Similarity Analysis

Authors: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram et al.

Contributors: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram et al.

Subject Terms: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37

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

Authors: Schäfer, André Amme, Wolfram Heinze, Thomas

Source: 2021 IEEE 15th International Workshop on Software Clones (IWSC). :29-35

Subject Terms: BigCloneBench, compilation, 0202 electrical engineering, electronic engineering, information engineering, code clone, clone detection, 02 engineering and technology, code clones, Java, Bytecode

Access URL: https://elib.dlr.de/144491/1/sah21.pdf
https://elib.dlr.de/144761/
https://doi.org/10.1109/iwsc53727.2021.00011
https://elib.dlr.de/144491/

Lightweight Compilation of Method Invocation Bytecodes in Java

Authors: Harpreet Kaur Scott Ryan Young Marius Pirvu et al.

Source: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. :1114-1121

Java Bytecode Normalization for Code Similarity Analysis (Artifact)

Authors: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram et al.

Contributors: Schott, Stefan Ponta, Serena Elisa Fischer, Wolfram et al.

Subject Terms: Code Similarity Analysis, ddc:004, Java Compiler, Bytecode

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20

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

Authors: Marco Paganoni Carlo A. Furia

Source: Formal Aspects of Computing.

Performance Study of Kotlin and Java Programs with Bytecode Analysis

Authors: Hayataka Nakamura Atsuya Sonoyama Takeshi Kamiyama et al.

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

DALEQ -- Explainable Equivalence for Java Bytecode

Authors: Dietrich, Jens Hassanshahi, Behnaz

Subject Terms: FOS: Computer and information sciences, Cryptography and Security, Cryptography and Security (cs.CR)

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

MMT: Mutation Testing of Java Bytecode with Model Transformation

Authors: Christoph Bockisch Gabriele Taentzer Daniel Neufeld

Source: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). :35-39

Finding Source Code Clones in Intermediate Representations of Java Bytecode

Authors: André Schäfer Thomas S. Heinze Wolfram Amme

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

Efficient and expressive bytecode-level instrumentation for Java programs

Authors: Chukri Soueidi Marius Monnier Yliès Falcone

Source: International Journal on Software Tools for Technology Transfer. 25:453-479

Java Bytecode Normalization for Code Similarity Analysis (Artifact)

Authors: Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden Schott, Stefan Ponta, Serena Elisa et al.

Index Terms: Bytecode, Java Compiler, Code Similarity Analysis, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20
Is Part Of DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)

Java Bytecode Normalization for Code Similarity Analysis

Authors: Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden Schott, Stefan Ponta, Serena Elisa et al.

Index Terms: Bytecode, Java Compiler, Code Similarity Analysis, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.37
Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024)

Reasoning About Exceptional Behavior at the Level of Java Bytecode

Authors: Marco Paganoni Carlo A. Furia

Source: Lecture Notes in Computer Science ISBN: 9783031477041

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

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

CIL to Java-bytecode translation for static analysis leveraging

Authors: Ferrara, Pietro Cortesi, Agostino Spoto, Fausto

Source: Proceedings of the 6th Conference on Formal Methods in Software Engineering. :40-49

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, CIl, Java Bytecode, Static Analysis, 02 engineering and technology, Software

File Description: application/pdf

Access URL: https://iris.unive.it/bitstream/10278/3703089/1/FORMALISE_2018_paper_1.pdf
https://ieeexplore.ieee.org/document/8536204
https://dl.acm.org/doi/10.1145/3193992.3193994
https://iris.unive.it/handle/10278/3703089
http://ieeexplore.ieee.org/document/8536204
https://iris.univr.it/handle/11562/988470
https://dblp.uni-trier.de/db/conf/icse/formalise2018.html#FerraraCS18
https://hdl.handle.net/11562/988470
https://doi.org/10.1145/3193992.3193994
https://dl.acm.org/citation.cfm?doid=3193992.3193994

Translating c into java bytecode

Authors: Nabiyev, Farrukh

Subject Terms: C to Java compiler, cheminformatics, Crystallographic Information File (CIF), ANTLR, Java bytecode, ASM (Java library), CIF parser, simulated memory model. C į Java kompiliatorius, cheminė informatika, Kristalografinės informacijos failas (CIF), ANTLR, Java baitinis kodas, ASM (Java biblioteka), CIF analizatorius, simuliuotas atminties modelis

File Description: application/pdf

Access URL: https://repository.vu.lt/VU:ELABAETD238879786&prefLang=en_US

An Experimental Comparison of Clone Detection Techniques using Java Bytecode

Authors: Jean-Guy Schneider Sung Une Lee

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

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology