Search Results - Java programs

Static Program Analysis Guided LLM Based Unit Test Generation by Roychowdhury, Sujoy, Sridhara, Giriprasad, Raghavan, A K, Bose, Joy, Mazumdar, Sourav, Singh, Hamender, Sugumaran, Srinivasan Bajji, Britto, Ricardo

Table of Contents: “…We describe a novel approach to automating unit test generation for Java methods using large…”
Get full text

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming by Lang, Nguyet-Anh H., Lang, Eric, Le-Cong, Thanh, Le, Bach, Huynh, Quyet-Thang

Table of Contents: “… programming languages and Java as an imperative baseline. Our results demonstrate that LLM performance…”
Get full text

Understanding and Detecting Annotation-Induced Faults of Static Analyzers by Zhang, Huaien, Pei, Yu, Liang, Shuyun, Tan, Shin Hwei

Table of Contents: “… the analyzed program well. Annotation has been a widely used feature for different purposes in Java since…”
Get full text

$φ$-Calculus: Object-Oriented Formalism by Bugayenko, Yegor, Trunnikov, Maxim

Table of Contents: “…Object-oriented programming (OOP) is one of the most popular paradigms used for building software…”
Get full text

Python Agent in Ludii by Neto, Izaias S. de Lima, Vieira, Marco A. A. de Aguiar, Tavares, Anderson R.

Table of Contents: “…Ludii is a Java general game system with a considerable number of board games, with an API…”
Get full text

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM by Åkerblom, Beatrice, Castegren, Elias

Table of Contents: “…. The programs in the study were collected from the Renaissance benchmark suite, all running on the Java Virtual…”
Get full text

Cross-Domain Deep Code Search with Meta Learning by Chai, Yitian, Zhang, Hongyu, Shen, Beijun, Gu, Xiaodong

Table of Contents: “…Recently, pre-trained programming language models such as CodeBERT have demonstrated substantial…”
Get full text

GitHub Copilot: the perfect Code compLeeter? by Siroš, Ilja, Singelée, Dave, Preneel, Bart

Table of Contents: “… set using a custom automated framework. We evaluate the results of Copilot for 4 programming languages…”
Get full text

Language-Parametric Reference Synthesis (Extended) by Pelsmaeker, Daniel A. A., Zwaan, Aron, Bach, Casper, Mooij, Arjan J.

Table of Contents: “… is challenging due to the complex name-binding features in modern programming languages. Instead, we propose…”
Get full text

Defining Name Accessibility using Scope Graphs (Extended Edition) by Zwaan, Aron, Poulsen, Casper Bach

Table of Contents: “… that compares it with the C#, Java, and Rust compilers, and show we can synthesize access modifiers in programs…”
Get full text

Real-Time Syntactic, Semantic, and Logical Error Detection Using AI in Multilanguage Code Editors by Thasni Asharaf, et al

Table of Contents: “…<p><span lang="EN-IN">The rapid growth of programming technology has made debugging…”
Get full text

Heterogeneous Dynamic Logic: Provability Modulo Program Theories by Teuber, Samuel, Ulbrich, Mattias, Platzer, André, Beckert, Bernhard

Table of Contents: “…Formally specifying, let alone verifying, properties of systems involving multiple programming…”
Get full text

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation by Dau, Anh T. V., Tan, Shin Hwei, Yang, Jinqiu, Bui, Nghi D. Q., Nguyen, Anh Tuan

Table of Contents: “… (on COBOLEval and COBOLCodeBench) and code translation (on COBOL-JavaTrans, our proposed benchmark…”
Get full text

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories by Ibrahimzada, Ali Reza, Paulsen, Brandon, Kroening, Daniel, Jabbarvand, Reyhaneh

Table of Contents: “… source-target programming language (PL) pair, owing to the complex engineering effort required to adapt…”
Get full text

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study by Zhang, Yihan, Pientka, Brigitte, Si, Xujie

Table of Contents: “… in introductory CS courses using high-resource programming languages such as Java or Python. In this paper, we…”
Get full text

LiveRec: Prototyping Probes by Framing Debug Protocols by Döderlein, Jean-Baptiste, van Rozen, Riemer, van der Storm, Tijs

Table of Contents: “… in real time. This form of live programming has become known as "probes". Probes provide the programmer…”
Get full text

SpIDER: Spatially Informed Dense Embedding Retrieval for Software Issue Localization by Chaudhari, Shravan, Jacob, Rahul Thomas, Goswami, Mononito, Cao, Jiajun, Rashid, Shihab, Bock, Christian

Table of Contents: “… codebases from Python, Java, JavaScript and TypeScript programming languages. Empirical results show…”
Get full text

Can LLM Generate Regression Tests for Software Commits? by Liu, Jing, Lee, Seongmin, Losiouk, Eleonora, Böhme, Marcel

Table of Contents: “…, and Poppler. For programs using more human-readable file formats, like XML or JavaScript, we found Cleverest…”
Get full text

Detecting Metadata-Related Bugs in Enterprise Applications by Kabir, Md Mahir Asef, Wang, Xiaoyin, Meng, Na

Table of Contents: “… program to scan, MeCheck interprets rules as cross-file static analyzers, which analyzers scan Java…”
Get full text

Vulnerability Detection in Popular Programming Languages with Language Models by Atiiq, Syafiq Al, Gehrmann, Christian, Dahlén, Kevin

Table of Contents: “…, most studies have focused on the C/C++ programming language, with limited attention given to other…”
Get full text