Search Results - Java programs

Dynamic Software Updating in Java -- Comparing Concepts and Resource Demands by Mlinaric, Danijel, Mornar, Vedran

Table of Contents: “… for Java programming language that deal with dynamically applied changes and impact of those changes…”
Get full text

Mobile Forensics – The File Format Handbook

Table of Contents: “… for storing object states in the Java programming language. Mobile application (app) developers very often…”
Get full text

Quantifying the benefits of code hints for refactoring deprecated Java APIs by David, Cristina, Kesseli, Pascal, Kroening, Daniel, Zhang, Hanliang

Table of Contents: “… for deprecated Java APIs can be automated, and quantify the benefit of Javadoc code hints for this task…”
Get full text

Resolving Java Code Repository Issues with iSWE Agent by Ganhotra, Jatin, Serhan, Sami, Nassar, Antonio Abu, Shinnar, Avraham, Nevo, Ziv, Hirzel, Martin

Table of Contents: “… on other programming languages is lower. In particular, a lot of enterprise software is written in Java…”
Get full text

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

Table of Contents: “… specifications for Java bytecode programs in the form of method summaries. A summary provides an abstract…”
Get full text

Montsalvat: Partitioning Java Applications to Minimize the TCB in Intel SGX by Yuhala, Peterson, Ménétrey, Jämes, Felber, Pascal, Schiavoni, Valerio, Tchana, Alain, Thomas, Gaël, Guiroux, Hugo, Lozi, Jean-Pierre

Table of Contents: “…The popularity of the Java programming language has led to its wide adoption in cloud computing…”
Get full text

An Investigation into Misuse of Java Security APIs by Large Language Models by Mousavi, Zahra, Islam, Chadni, Moore, Kristen, Abuadbba, Alsharif, Babar, Muhammad Ali

Table of Contents: “… for security API use cases in Java. To conduct a thorough evaluation, we compile an extensive collection of 48…”
Get full text

SciJava Ops: An Improved Algorithms Framework for Fiji and Beyond by Selzer, Gabriel J., Rueden, Curtis T., Hiner, Mark C., Evans III, Edward L., Kolb, David, Wiedenmann, Marcel, Birkhold, Christian, Buchholz, Tim-Oliver, Helfrich, Stefan, Northan, Brian, Walter, Alison, Schindelin, Johannes, Pietzsch, Tobias, Saalfeld, Stephan, Berthold, Michael R., Eliceiri, Kevin W.

Table of Contents: “… and extensibility, they were not fundamentally designed to integrate across the many data types, programming…”
Get full text

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

Table of Contents: “…. In this paper, we propose JustinANN, a flexible and scalable tool to generate test cases for Java programs…”
Get full text

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios by Zeng, Zhengran, Wang, Yidong, Xie, Rui, Ye, Wei, Zhang, Shikun

Table of Contents: “… programming tasks that are executable and reflective of actual development scenarios, acknowledging Java…”
Get full text

jMT: Testing Correctness of Java Memory Models (Extended Version) by Panneke, Lukas, Wehrheim, Heike

Table of Contents: “… introduce jMT, a novel tool for constructing multi-execution semantics for concurrent Java programs. jMT…”
Get full text

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis by Moreno, José Miguel, Vallina-Rodriguez, Narseo, Tapiador, Juan

Table of Contents: “…The JavaScript programming language, which began as a simple scripting language for the Web, has…”
Get full text

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP by Moloney, Charles, Dyer, Robert, Sherman, Elena

Table of Contents: “… are influenced by the composition of program benchmarks included in SV-COMP. When expanding this benchmark corpus…”
Get full text

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

Table of Contents: “…Mutation testing is an approach to check the robustness of test suites. The program code…”
Get full text

Multi-agent Assisted Automatic Test Generation for Java JSON Libraries by Wang, Sinan, Zhong, Zhiyuan, Wen, Shaojin, Liu, Yepang

Table of Contents: “…JSON is a widely used format for data exchange between applications. In the Java ecosystem, JSON…”
Get full text

Exceptions Can Be Nested: An Exploratory Study on Nested Exceptions in Java Crashes by Shaoting Liu, Haiyan Xu, Qi Xin, Jifeng Xuan

Table of Contents: “… reproduction. In this paper, we conduct an exploratory study on nested exceptions in Java programs by answering…”
Get full text

Automatic Build Repair for Test Cases using Incompatible Java Versions by Mak, Ching Hang, Cheung, Shing-Chi

Table of Contents: “… compiled due to changes in the programming language or tools used in the compilation process, adding…”
Get full text

From Coverage to Causes: Data-Centric Fuzzing for JavaScript Engines by Ganguly, Kishan Kumar, Menzies, Tim

Table of Contents: “…Context: Exhaustive fuzzing of modern JavaScript engines is infeasible due to the vast number…”
Get full text

Challenging Machine Learning Algorithms in Predicting Vulnerable JavaScript Functions by Ferenc, Rudolf, Hegedűs, Péter, Gyimesi, Péter, Antal, Gábor, Bán, Dénes, Gyimóthy, Tibor

Table of Contents: “… with possible security vulnerabilities in JavaScript programs. We applied 8 machine learning algorithms to build…”
Get full text

A Study of Vulnerability Repair in JavaScript Programs with Large Language Models by Le, Tan Khang, Alimadadi, Saba, Ko, Steven Y.

Table of Contents: “…In recent years, JavaScript has become the most widely used programming language, especially in web…”
Get full text