• *Search*: "Java Programs"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 18*number_thousands_separator*220

1

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
Khakpour, Narges ; Berthier, Nicolas

Cryptography and Securit... Formal Languages and Aut... Programming Languages Software Engineering
*Report*
*Add to favorites*
2

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
Cui, Baoquan ; Qu, Rong ; Zhang, Jian

Computer Science - Softw... Computer Science - Progr...
*Report*
*Add to favorites*
3

*This result is not displayed to guests*

5

Analyzing syntactic constructs of Java programs with machine learning
Ortin, Francisco ; Facundo, Guillermo ; Garcia, Miguel
In Expert Systems With Applications 1 April 2023 215

*Academic Journal*
*Add to favorites*
6

Compiler Testing using Template Java Programs
Zang, Zhiqiang ; Wiatrek, Nathan ; Gligoric, Milos ; et al.

Computer Science - Progr... Computer Science - Softw...
*Report*
*Add to favorites*
7

Automatic Assessment of the Design Quality of Student Python and Java Programs
Orr, J. Walker
The Journal of Computing Sciences in Colleges, 2022 Volume 38.1

Computer Science - Compu... Computer Science - Softw... K.3.2
*Report*
*Add to favorites*
8

OJXPerf: Featherlight Object Replica Detection for Java Programs
Li, Bolun ; Xu, Hao ; Zhao, Qidong ; et al.
44th International Conference on Software Engineering (ICSE 2022)

Computer Science - Progr...
*Report*
*Add to favorites*
9

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
Soueidi, Chukri ; Monnier, Marius ; Kassem, Ali ; et al.

Computer Science - Progr... Computer Science - Softw...
*Report*
*Add to favorites*
12

Program slicing of Java programs
Galindo, Carlos ; Pérez, Sergio ; Silva, Josep
In Journal of Logical and Algebraic Methods in Programming January 2023 130

*Academic Journal*
*Add to favorites*
13

An Empirical Study on Failed Error Propagation in Java Programs with Real Faults
Jahangirova, Gunel ; Clark, David ; Harman, Mark ; et al.

Computer Science - Softw...
*Report*
*Add to favorites*
15

Energy-aware scheduling, compilation, and execution of hard-real-time multi-task Java programs
Tewary, Manish ; Salcic, Zoran ; Biglari-Abhari, Morteza ; et al.
In Microprocessors and Microsystems November 2022 95

*Academic Journal*
*Add to favorites*
16

Deductive Verification of Floating-Point Java Programs in KeY
Boroujeni, Rosa Abbasi ; Schiffl, Jonas ; Darulova, Eva ; et al.

Computer Science - Progr...
*Report*
*Add to favorites*
17

Converting Physlets and Other Java Programs to JavaScript
Christian, Wolfgang ; Belloni, Mario ; Hanson, Robert M. ; et al.
4

Physics Computer Oriented Progra... Programming Languages Simulation Scientific Concepts Web Sites …
*Academic Journal*
*Add to favorites*
18

A Framework for Debugging Java Programs in a Bytecode
Soomro, Safeeullah ; Belgaum, Mohammad Riyaz ; Alansari, Zainab ; et al.

Computer Science - Softw... Computer Science - Forma... Computer Science - Progr...
*Report*
*Add to favorites*
19

A practical method for watermarking Java programs
Monden, Akito ; Iida, Hajimu ; Matsumoto, Kenichi ; et al.

*Electronic Resource*
*Add to favorites*
20

Automatic Inference of Symbolic Permissions for Sequential Java Programs
Sadiq, Ayesha ; Li, Yuan-Fang ; Li, Li ; et al.

Computer Science - Softw...
*Report*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*