• *Search*: "Java bytecode"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 226

1

Capturing program models with BISM
Soueidi, Chukri ; Falcone, Yliès ; Compiler Optimization and Run-time Systems (CORSE) ; et al.
SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track ; https://inria.hal.science/hal-03911682 ; SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩

Brno (Virtuel) Czech Republic Runtime Verification Typ... Runtime Verification Typestate Analysis Parametric Monitoring …
*Conference*
*Add to favorites*
2

An Evaluation of Dynamic Java Bytecode Software Watermarking Algorithms
Krishan Kumar ; Viney Kehar ; Prabhpreet Kaur
International Journal of Security and Its Applications, 07/30/2016, Vol. 10, Issue 7, p. 147-156

*Academic Journal*
*Add to favorites*
3

Java decompiler diversity and its application to meta-decompilation
Harrand, Nicolas ; Soto-Valero, César ; Monperrus, Martin ; et al.
In The Journal of Systems & Software October 2020 168

*Academic Journal*
*Add to favorites*
4

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

*Academic Journal*
*Add to favorites*
5

Code Coverage for Java Dependencies ; Kodtäckning för Java Beroenden
Sävås, Jonas

Code Coverage Dependencies Maven Java Bytecode Software Bloat Kodtäckning …
*Dissertation/ Thesis*
*Add to favorites*
6

BISM: Bytecode-Level Instrumentation for Software Monitoring
Soueidi, Chukri ; Kassem, Ali ; Falcone, Yliès ; et al.
RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12

Los Angeles United States Static and Dynamic Conte... Control Flow Aspect-Oriented Programm... Java Bytecode …
*Conference*
*Add to favorites*
7

Detecting Java Code Clones Based on Bytecode Sequence Alignment
Dongjin Yu ; Jiazha Yang ; Xin Chen ; et al.
IEEE Access, Vol 7, Pp 22421-22433 (2019)

Code clones code clone detection Java bytecode code sequence alignment code similarities instruction block …
*Academic Journal*
*Add to favorites*
8

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR
Tomaž DOBRAVEC
Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Algorithm evaluation Java bytecode counting Electrical engineering.... TK1-9971
*Academic Journal*
*Add to favorites*
9

Applying dynamic analysis for defect detection in Java-applications
Sergey Vartanov ; Alexander Gerasimov
Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 9-28 (2018)

итеративный динамичеcкий... автоматический поиск оши... анализ java программ... software iterative dynam... automatic defect detecti... java bytecode instrument... …
*Academic Journal*
*Add to favorites*
10

*This result is not displayed to guests*

11

Verifying pointer programs using graph grammars
Heinen, Jonathan ; Jansen, Christina ; Katoen, Joost-Pieter ; et al.
In Science of Computer Programming 1 January 2015 97 Part 1:157-162

*Academic Journal*
*Add to favorites*
12

SeByte: Scalable clone and similarity search for bytecode
Keivanloo, Iman ; Roy, Chanchal K. ; Rilling, Juergen
In Science of Computer Programming 1 December 2014 95 Part 4:426-444

*Academic Journal*
*Add to favorites*
13

Conditional termination of loops over heap-allocated data
Albert, Elvira ; Arenas, Puri ; Genaim, Samir ; et al.
In Science of Computer Programming 15 October 2014 92 Part A:2-24

*Academic Journal*
*Add to favorites*
14

Heap space analysis for garbage collected languages
Albert, Elvira ; Genaim, Samir ; Gómez-Zamalloa, Miguel
In Science of Computer Programming 1 September 2013 78(9):1427-1448

*Academic Journal*
*Add to favorites*
15

JCSI: A tool for checking secure information flow in Java Card applications
Avvenuti, Marco ; Bernardeschi, Cinzia ; De Francesco, Nicoletta ; et al.
In The Journal of Systems & Software November 2012 85(11):2479-2493

*Academic Journal*
*Add to favorites*
16

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform
Gietzelt, Matthias ; Goltz, Ursula ; Grunwald, Daniel ; et al.
In Computer Methods and Programs in Biomedicine May 2012 106(2):114-125

*Academic Journal*
*Add to favorites*
17

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment
Mateos, Cristian ; Zunino, Alejandro ; Hirsch, Matías ; et al.
In Advances in Engineering Software 2011 42(4):172-186

*Academic Journal*
*Add to favorites*
18

Debloating Java Dependencies
Soto Valero, César

Software debloating software dependencies Java bytecode package manager static program analysis dynamic program analysis …
*Dissertation/ Thesis*
*Add to favorites*
19

Compilation Process and Java Bytecode
Malik, Naveen ; Akhtar, Naeem ; Rohilla, Hardeep ; et al.
Journal of Engineering Computers & Applied Sciences; Vol 2, No 10 (2013): Journal of Engineering Computers Applied Sciences; 31-36 ; 2319-5606

Computer Sciences Java Bytecode Compilation process Native code,JIT(Just in... condotions in javabyteco... methods in java bytecode
*Academic Journal*
*Add to favorites*
20

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
Brockschmidt, Marc ; Otto, Carsten ; Giesl, Jürgen ; et al.

termination Java Bytecode term rewriting recursion
*Academic Journal*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*