• Suche: "Java Bytecode"

Treffer 1 - 20 von 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 …
Konferenz
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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
Merkliste
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 …
Konferenz
Merkliste
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 …
Fachzeitschrift
Merkliste
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
Fachzeitschrift
Merkliste
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... …
Fachzeitschrift
Merkliste
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
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

Fachzeitschrift
Merkliste
18

Debloating Java Dependencies
Soto Valero, César

Software debloating software dependencies Java bytecode package manager static program analysis dynamic program analysis …
Dissertation
Merkliste
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
Fachzeitschrift
Merkliste
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
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter