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

Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

Constraint Based Testing and Verification of Java Bytecode Programs

Συγγραφείς: Achour, Safaa, Benattou, Mohammzed

Πηγή: 2018 IEEE 5th International Congress on Information Science and Technology (CiSt) Information Science and Technology (CiSt), 2018 IEEE 5th International Congress on. :64-69 Oct, 2018

Relation: 2018 IEEE 5th International Congress on Information Science and Technology (CiSt)

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)

Design, implementation, and application of GPU-based Java bytecode interpreters

Συγγραφείς: Celik, Ahmet, Nie, Pengyu, Rossbach, Christopher J., Gligoric, Milos

Πηγή: Proceedings of the ACM on Programming Languages. 3(OOPSLA):1-28

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