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

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

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.

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

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

Verifying Functional Correctness Properties At the Level of Java Bytecode

Authors: Paganoni, Marco Furia, Carlo A.

Index Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, text

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

Java Bytecode Normalization for Code Similarity Analysis - Artifact

Reasoning About Exceptional Behavior At the Level of Java Bytecode

Authors: Paganoni, Marco Furia, Carlo A.

Index Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, text

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

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

Authors: Bockisch, Christoph Taentzer, Gabriele Neufeld, Daniel

Index Terms: Computer Science - Software Engineering, text

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

Advanced Mutation Testing of Java Bytecode Using Model Transformation

Authors: Bockisch, Christoph Dorn, Freya Eren, Deniz et al.

Subject Terms: Java bytecode, Mutation testing, Model transformation