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

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

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 (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

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

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)

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://hdl.handle.net/11562/988470
https://doi.org/10.1145/3193992.3193994
https://dl.acm.org/citation.cfm?doid=3193992.3193994

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

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

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

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

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

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

Detecting Java Code Clones Based on Bytecode Sequence Alignment

Authors: Dongjin Yu Jiazha Yang Xin Chen et al.

Source: IEEE Access, Vol 7, Pp 22421-22433 (2019)

Subject Terms: code similarities, Java bytecode, code clone detection, 0202 electrical engineering, electronic engineering, information engineering, Code clones, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, code sequence alignment, instruction block, TK1-9971

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08637956.pdf
https://doaj.org/article/2d0e5922688f4ac3b9965333ffae2f9e