Resultados de búsqueda - Java programs

LLM Based Input Space Partitioning Testing for Library APIs por Li, Jiageng, Dong, Zhen, Wang, Chong, You, Haozhen, Zhang, Cen, Liu, Yang, Peng, Xin

Tabla de Contenidos: “… knowledge of relations between object states and program branches, often suffer from the low efficiency…”
Enlace del recurso

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents por Nitin, Vikram, Ray, Baishakhi, Moghaddam, Roshanak Zilouchian

Tabla de Contenidos: “… the flow of control and data through deeply nested levels of a program. We present FaultLine, an LLM…”
Enlace del recurso

Context-Sensitive Pointer Analysis for ArkTS por Yang, Yizhuo, Xu, Lingyun, Zhou, Mingyi, Li, Li

Tabla de Contenidos: “…Current call graph generation methods for ArkTS, a new programming language for OpenHarmony…”
Enlace del recurso

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation por Zhou, Zhichao, Zhou, Yuming, Fang, Chunrong, Chen, Zhenyu, Luo, Xiapu, He, Jingzhu, Tang, Yutian

Tabla de Contenidos: “… programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach…”
Enlace del recurso

ThinkRepair: Self-Directed Automated Program Repair por Yin, Xin, Ni, Chao, Wang, Shaohua, Li, Zhenhao, Zeng, Limin, Yang, Xiaohu

Tabla de Contenidos: “… the logic of the buggy program. Recently, large language models (LLMs) instructed by prompt engineering have…”
Enlace del recurso

Synthesizing Abstract Transformers for Reduced-Product Domains por Kalita, Pankaj Kumar, Reps, Thomas, Roy, Subhajit

Tabla de Contenidos: “… -- available within the SAFEstr framework for JavaScript program analysis. For four of the six operations…”
Enlace del recurso

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation por Tu, Haoxin, Lee, Seongmin, Li, Yuxian, Chen, Peng, Jiang, Lingxiao, Böhme, Marcel

Tabla de Contenidos: “… testing parsing programs? Existing concolic execution engines are significantly restricted by (1) input…”
Enlace del recurso

Recommending Variable Names for Extract Local Variable Refactorings por Wang, Taiming, Liu, Hui, Zhang, Yuxia, Jiang, Yanjie

Tabla de Contenidos: “… these insights, we developed a set of heuristic rules through program static analysis techniques and employ data…”
Enlace del recurso

MRG-Bench: Evaluating and Exploring the Requirements of Context for Repository-Level Code Generation por Li, Haiyang

Tabla de Contenidos: “… to the practical distribution, (2) multiple programming languages support, including Python, Java, and Go, and (3…”
Enlace del recurso

Technical Report: Full-Stack Fine-Tuning for the Q Programming Language por Hogan, Brendan R., Brown, Will, Boyarsky, Adel, Schneider, Anderson, Nevmyvaka, Yuriy

Tabla de Contenidos: “… applications, particularly in niche programming languages and private domains, remains challenging and largely…”
Enlace del recurso

High-level reasoning while low-level actuation in Cyber-Physical Systems: How efficient is it? por Karaduman, Burak, Tezel, Baris Tekin, Challenger, Moharram

Tabla de Contenidos: “… programming languages and frameworks exist, engineers still lack sufficient empirical evidence to guide…”
Enlace del recurso

A Declarative Language for Building And Orchestrating LLM-Powered Agent Workflows por Daunis, Ivan

Tabla de Contenidos: “…, and control flow logic, yet existing systems tightly couple agent logic to specific programming languages…”
Enlace del recurso

Code Fingerprints: Disentangled Attribution of LLM-Generated Code por Guo, Jiaxun, Yang, Ziyuan, Sun, Mengyu, Wang, Hui, Lu, Jingfeng, Zhang, Yi

Tabla de Contenidos: “…, and ChatGPT) across four programming languages (Python, Java, C, and Go). Experimental results demonstrate…”
Enlace del recurso

Single-Language Evidence Is Insufficient for Automated Logging: A Multilingual Benchmark and Empirical Study with LLMs por Zhong, Renyi, Li, Yichen, Wu, Yulun, Kuang, Jinxi, Huo, Yintong, Lyu, Michael R.

Tabla de Contenidos: “…, but existing evidence remains dominated by Java-centric repository-snapshot dataset. It is therefore unclear…”
Enlace del recurso

Securing PCs and Data in Libraries and Schools: A Handbook with Menuing, Anti-Virus, and Other Protective Software. por Benson, Allen C.

Tabla de Contenidos: “… from anonymous remailers and anonymizers to cookies and Java applets. An appendix describes…”
Enlace del recurso

Graph Link‐Based Prediction for API Usage Recommendation por Junxia Guo, Yingjie Tao, Baoqiang Lai, Bowen Yu, Zheng Li

Tabla de Contenidos: “… Yu Zheng Li Journal of Software: Evolution and Process ABSTRACT Application programming interface…”
Enlace del recurso

Understanding and Characterizing Mock Assertions in Unit Tests por Zhu, Hengcheng, Terragni, Valerio, Wei, Lili, Cheung, Shing-Chi, Wu, Jiarong, Liu, Yepang

Tabla de Contenidos: “…Mock assertions provide developers with a powerful means to validate program behaviors…”
Enlace del recurso

Diagnosing and Resolving Android Applications Building Issues: An Empirical Study por Bodepudi, Lakshmi Priya, Zhao, Yutong, Fu, Ming Quan, Wu, Yuanyuan, He, Sen, Zhao, Yu

Tabla de Contenidos: “… analysis of 200 open-source Android projects written in Java and Kotlin to diagnose and resolve build…”
Enlace del recurso

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities por Wang, Claire, Li, Ziyang, Dutta, Saikat, Naik, Mayur

Tabla de Contenidos: “… diverse expertise in security and program analysis. To address this challenge, we present QLCoder…”
Enlace del recurso

Are LLMs Ready for Computer Science Education? A Cross-Domain, Cross-Lingual and Cognitive-Level Evaluation Using Professional Certification Exams por Gao, Chen, Liu, Chi, Luo, Zhengquan, Xiao, Dongfu, Sui, Maiying, Shen, Sheng, Zhu, Congcong, Chen, Huajie, Zuo, Xuhan, Ge, Zongyuan, Zhu, Tianqing, Zhou, Wanlei, Han, Xiaotong

Tabla de Contenidos: “… from six certification exams covering networking, office applications, and Java programming. We…”
Enlace del recurso