Suchergebnisse - (java OR jan) bytecode

Efficient and expressive bytecode-level instrumentation for Java programs von Soueidi, Chukri, Monnier, Marius, Falcone, Yliès

“… We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode level. BISM …”
Volltext

Towards Improving the Performance of Comment Generation Models by Using Bytecode Information von Huang, Yuan, Huang, Jinbo, Chen, Xiangping, Zheng, Zibin

“… In this study, we found that the bytecode compiled from the source code can provide useful information for comment generation, hence we propose to use the information from bytecode to assist the comment generation …”
Volltext

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

“… In this article, we present a novel approach to verify the exceptional behavior of Java programs, which extends our previous work on ByteBack …”
Volltext

Cost analysis of object-oriented bytecode programs von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano

“… In languages such as Java and C#, analyzing bytecode has a much wider application area than analyzing source code since the latter is often not available …”
Volltext

From bytecode to JavaScript: the Js_of_ocaml compiler von Vouillon, Jérôme, Balat, Vincent

“… SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript …”
Volltext

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis von Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“… Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs …”
Volltext

Code coverage differences of Java bytecode and source code instrumentation tools von Horváth, Ferenc, Gergely, Tamás, Beszédes, Árpád, Tengeri, Dávid, Balogh, Gergő, Gyimóthy, Tibor

“… For Java, the prevalent approach to code coverage measurement is using bytecode instrumentation due to its various benefits over source code instrumentation …”
Volltext

Detecting Java Code Clones Based on Bytecode Sequence Alignment von Yu, Dongjin, Yang, Jiazha, Chen, Xin, Chen, Jie

“… In this paper, we introduce an approach based on Java bytecode, which mainly contains the steps of bytecode sequence alignment and similarity score comparison …”
Volltext

An Experimental Comparison of Clone Detection Techniques using Java Bytecode von Schneider, Jean-Guy, Lee, Sung Une

“… Avoiding some of the issues of source-code based approaches, we are investigating the effectiveness of using various similarity measures on Bytecode to identify code clones in Java-based systems in this work …”
Volltext

Polymorphic bytecode instrumentation von Binder, Walter, Moret, Philippe, Tanter, Éric, Ansaloni, Danilo

“… Summary Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine …”
Volltext

SJBCD: A Java Code Clone Detection Method Based on Bytecode Using Siamese Neural Network von Wan, Bangrui, Dong, Shuang, Zhou, Jianjun, Qian, Ying

“… Based on the above reasons, this paper proposes a novel code clone detection method for Java bytecode: SJBCD …”
Volltext

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation von Zhang, Yang, Shao, Shuai, Liu, Huan, Qiu, Jing, Zhang, Dongwen, Zhang, Guanghua

“… Developers of parallel programming are faced with choices of using various Java locks …”
Volltext

Two Approaches to Fast Bytecode Frontend for Static Analysis von Li, Chenxi, Lin, Haoran, Tan, Tian, Li, Yue

“… In static analysis frameworks for Java, the bytecode frontend serves as a critical component, transforming complex, stack-based Java bytecode into a more analyzable register-based, typed 3-address code representation …”
Volltext

Enhancing Service Observability Through Bytecode-Level Variable Monitoring von Wang, Taizheng, Ye, Chunyang, Zhou, Hui, Chang, Wei, Li, Chaoyi

“… To address this, we propose a bytecode-level variable monitoring approach using the ASM library …”
Volltext

PraPR: Practical Program Repair via Bytecode Mutation von Ghanbari, Ali, Zhang, Lingming

“… In this paper, we present PraPR, our implementation of a practical APR technique that operates at the level of JVM bytecode …”
Volltext

Faster variational execution with transparent bytecode transformation von Wong, Chu-Pan, Meinicke, Jens, Lazarek, Lukas, Kästner, Christian

“… Furthermore, the performance of this approach is suboptimal. For example, the state-of-the-art variational execution interpreter for Java, VarexJ, slows down executions …”
Volltext

Design, implementation, and application of GPU-based Java bytecode interpreters von Celik, Ahmet, Nie, Pengyu, Rossbach, Christopher J., Gligoric, Milos

“… We present the design and implementation of GVM, the first system for executing Java bytecode entirely on GPUs …”
Volltext

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR von Dobravec, Tomaž

“… Development of algorithms for solving various kinds of computer related problems consists of several consecutive and possibly repetitive phases. The final and …”
Volltext

Modeling the Java Bytecode Verifier von Reynolds, Mark C.

“… in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete …”
Volltext

Visualizing trace of Java collection APIs by dynamic bytecode instrumentation von Muhammad, Tufail, Halim, Zahid, Khan, Majid Ali

“… This work presents a novel interactive visualization tool for collection framework usage, in a Java program, based on hierarchical …”
Volltext