Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 2.936

1

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

Konferenz
2

Mutation Testing of Java Bytecode: A Model-Driven Approach
Bockisch, Christoph ; Eren, Deniz ; Lehmann, Sascha ; et al.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. :237-248

Konferenz
3

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

Konferenz
4

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

Konferenz
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Verifying Functional Correctness Properties At the Level of Java Bytecode
Paganoni, Marco ; Furia, Carlo A.

Computer Science - Progr... Computer Science - Logic...
Report
7

Reasoning About Exceptional Behavior At the Level of Java Bytecode
Paganoni, Marco ; Furia, Carlo A.

Computer Science - Progr... Computer Science - Logic...
Report
8

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Bockisch, Christoph ; Taentzer, Gabriele ; Neufeld, Daniel

Computer Science - Softw...
Report
9

WebJShrink: a web service for debloating Java bytecode
Macias, Konner ; Mathur, Mihir ; Bruce, Bobby R. ; et al.
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1665-1669

Konferenz
10

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

Konferenz
11

The Strengths and Behavioral Quirks of Java Bytecode Decompilers
Harrand, Nicolas ; Soto-Valero, Cesar ; Monperrus, Martin ; et al.
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

Konferenz
12

Coverage-Based Debloating for Java Bytecode
Soto-Valero, César ; Durieux, Thomas ; Harrand, Nicolas ; et al.
ACM Transactions on Software Engineering and Methodology. 32(2):1-34

Fachzeitschrift
13

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

Konferenz
14

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs
Achour, Safaa ; Benattou, Mohammed
2018 6th International Conference on Multimedia Computing and Systems (ICMCS) Multimedia Computing and Systems (ICMCS), 2018 6th International Conference on. :1-6 May, 2018

Konferenz
15

Java Bytecode Control Flow Classification: Framework for Guiding Java Decompilation
Sateanpattanakul, Siwadol ; Jetpipattanapong, Duangpen ; Mathulaprangsan, Seksan
Journal of Mobile Multimedia Journal of Mobile Multi. Mobile Multimedia, Journal of. 18(2):179-202 Mar, 2022

Fachzeitschrift
16

JBMC: A Bounded Model Checking Tool for Java Bytecode
Brenguier, Romain ; Cordeiro, Lucas ; Kroening, Daniel ; et al.

Computer Science - Softw... Computer Science - Logic... Computer Science - Progr...
Report
17

Symbolic backward simulation of Java bytecode program
Inafune, Tetsuya ; Miura, Shinichi ; Taketa, Toshihiro ; et al.
Proceedings of the 10th International Conference on Computer Modeling and Simulation. :140-145

Konferenz
18

Test case generation for Java Bytecode programs annotated with BML specifications
Achour, Safaa ; Benattou, Mohammed
2016 5th International Conference on Multimedia Computing and Systems (ICMCS) Multimedia Computing and Systems (ICMCS), 2016 5th International Conference on. :605-610 Sep, 2016

Konferenz
19

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto
In Science of Computer Programming 1 June 2020 191

Fachzeitschrift
20

An Adaptive Approach to Recommending Obfuscation Rules for Java Bytecode Obfuscators
Peng, Yanru ; Chen, Yuting ; Shen, Beijun
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) COMPSAC Computer Software and Applications Conference (COMPSAC), 2019 IEEE 43rd Annual. 1:97-106 Jul, 2019

Konferenz

Filter