会员服务
Java 是一门编程语言，拥有跨平台、面向对象、泛型编程等特性。
Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability
Arxiv
0+阅读 · 10月9日
Call-Chain-Aware LLM-Based Test Generation for Java Projects
Arxiv
0+阅读 · 10月11日
Construction of Urban Greenland Resources Collaborative Management Platform
Arxiv
0+阅读 · 10月11日
From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
Arxiv
0+阅读 · 10月13日
Last Secure Code Benchmark: Is the Code You Vibe Secure?
Arxiv
0+阅读 · 10月10日
Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications
Arxiv
0+阅读 · 9月8日
What is the Difference Between Me and You? Benchmarking the Quality Gap Between Human-Written and AI-Generated Code
Arxiv
0+阅读 · 9月21日
What is the Difference Between Me and You? Benchmarking the Quality Gap Between Human-Written and AI-Generated Code
Arxiv
0+阅读 · 9月11日
From Retrieved Evidence to Security Outcomes: A Data-Driven Analysis of Java Security API Misuse in LLM-Generated Code
Arxiv
0+阅读 · 10月4日
Practical Range Refinement Types with Inference
Arxiv
0+阅读 · 9月21日
Towards Behavior Tree-Guided Vulnerability Detection with Lightweight LLMs
Arxiv
0+阅读 · 9月1日
Revisiting Feedback-Driven LLM Code Repair: A Replication and Exploratory Java Extension
Arxiv
0+阅读 · 8月31日
Direct-Operable SIMD Bit-Slicing: A Framework for Memory-Efficient Predicate Evaluation
Arxiv
0+阅读 · 8月26日
Bridge: Automatically Mining Ecosystem-Scale API Update Mappings and Client Update Instances
Arxiv
0+阅读 · 8月31日
Test Coverage Analysis of Agentic Pull Requests
Arxiv
0+阅读 · 7月20日
参考链接
微信扫码咨询专知VIP会员
Top