Library

Subject

Tags

10,754 matches · cs.SE

#
001	Agentic Metaverse Services: A New As-a-Service Paradigm	arXiv	Paper	Xiaofei Xu et al.	Yesterday
002	Agentic Method for Deterministic Validation of Legacy Code Migration	arXiv	Paper	Andras Ferenczi et al.	Yesterday
003	Change2Task: From Repository Changes to Executable Coding Agent Tasks and Environments	arXiv	Paper	Haomin Qi et al.	Yesterday
004	Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)	arXiv	Paper	Lorenzo Ceragioli et al.	Yesterday
005	Emerging Challenges in Threat Modeling for GenAI-Augmented Systems: A View from the Trenches	arXiv	Paper	Nicolás E. Díaz Ferreyra et al.	Yesterday
006	From Textual Requirements to Microservice Architectures - A Comprehensive Evaluation of LLM-Based Design Synthesis	arXiv	Paper	Danyllo Albuquerque et al.	Yesterday
007	HALO: Heterogeneous Admission through Localized Obligations for Safe Agentic Execution	arXiv	Paper	Taewoo Park et al.	Yesterday
008	Integrating AI into Requirements Quality Learning in Software Engineering Education: A TPACK-Guided Empirical Study	arXiv	Paper	Hansika Ekanayake Mudiyanselage et al.	Yesterday
009	ORCA-bench: How Ready Are Language Model Agents for Oncall?	arXiv	Paper	Albert Gong et al.	Yesterday
010	Old Tricks, New Models: How Simple Image Transformations Break Modern AI-based Content Moderation	arXiv	Paper	Marco Alecci et al.	Yesterday
011	PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench-Like Benchmarks	arXiv	Paper	Manyi Wang et al.	Yesterday
012	Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models	arXiv	Paper	Yang Li et al.	Yesterday
013	A First Look at Coding Agents' Compliance with AI Contribution Rules in Open-Source Communities	arXiv	Paper	Wenhao Yang et al.	2 days ago
014	Benchmarking the Residual: What Long-Horizon Evaluations Add Beyond Matched Short-Task Performance	arXiv	Paper	Chao Peng et al.	2 days ago
015	From Backlog Items to Security Guidance: Towards Continuous Security Compliance	arXiv	Paper	Ignacio García Núñez et al.	2 days ago
016	From Tokens to Watt-hours: Analytical Energy Estimation for LLM Inference on Modern GPUs	arXiv	Paper	Tina Vartziotis et al.	2 days ago
017	Graph Is the Verifier: Agentic Reinforcement Learning for Interprocedural Vulnerability Detection	arXiv	Paper	Yikun Li et al.	2 days ago
018	MediaWiki Code2Code Search: Neural Retrieval for the Semantic Discovery of Open-Source Software Entities	arXiv	Paper	Francesco Tosoni	2 days ago
019	MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis	arXiv	Paper	Yihao Chen et al.	2 days ago
020	Not In My Git Yard: Catching Backdoors at Commit and Release Time	arXiv	Paper	Dimitri Kokkonis et al.	2 days ago
021	RLPF: Reinforcement Learning from Performance Feedback for Code Generation	arXiv	Paper	Huihao Jing et al.	2 days ago
022	SWE-NFI: Studying and Benchmarking Coding Agents for Non-Functional Improvements	arXiv	Paper	Pengyu Xue et al.	2 days ago
023	SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch	arXiv	Paper	Yihao Chen et al.	2 days ago
024	ThreatForest: Multi-Agent Attack Tree Generation with Pluggable TTP Framework Mapping	arXiv	Paper	Cristian Leo et al.	2 days ago
025	A Machine-Learning-Based Gas Lift Optimization Workflow for Unconventional Fields	arXiv	Paper	Shan Miao, Alexandra Vendetti et al.	3 days ago
026	Do Context Files Help Coding Agents? A Two-Agent Ablation Study on Real Repositories	arXiv	Paper	Prakhar Khatri	3 days ago
027	Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales	arXiv	Paper	Genliang Zhu et al.	3 days ago
028	How Do LLMs Read Bug Reports? An Empirical Study of Attention in LLMs for Automated Program Repair	arXiv	Paper	Ramtin Ehsani, Irene Manotas et al.	3 days ago
029	IH-Benchmark: A Conflict-Centered Benchmark for Instruction-Hierarchy Robustness in LLM Applications	arXiv	Paper	Conor McCauley, Zeliang Kan et al.	3 days ago
030	KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models	arXiv	Paper	Fuyuan Xia et al.	3 days ago
031	Model-Driven Requirements Configuration with Three-Valued Uncertainty Scoring	arXiv	Paper	Ahmed Ibrahim	3 days ago
032	Multi-Agent Debate Strategies: Survey, Taxonomy, and Challenges	arXiv	Paper	Quim Motger et al.	3 days ago
033	Position: Evaluation Scores Are Perishable Knowledge Claims	arXiv	Paper	Sankalp Gilda et al.	3 days ago
034	RSIBench-Data: Benchmarking Data-Centric Research for Recursive Self-Improvement	arXiv	Paper	Fanqing Meng, Lingxiao Du et al.	3 days ago
035	SARC-DQ: Runtime Data-Quality Gating for Agentic AI: Silent Evidence Defects, the Incompetence Shield, and Downstream-Only Remediation	arXiv	Paper	Gaston Besanson	3 days ago
036	SecDrift: Measuring Sector-Conditioned Security Drift in AI-Generated Code	arXiv	Paper	Narayanaswami Natraj Bharadwaj et al.	3 days ago
037	SkillGate: Cost Efficient Runtime Malicious Skill File Detection in Coding Agents	arXiv	Paper	Rui Yang et al.	3 days ago
038	Specula: Scaling formal specifications for autonomous model checking of system code	arXiv	Paper	Qian Cheng et al.	3 days ago
039	The LAIA Dataset: Labelled Attention for Intelligent Automobiles	arXiv	Paper	A. Contreras, D. Porres et al.	3 days ago
040	TraceCoder: Explainable and Auditable Code Generation with Position-Key Snippet Versioning	arXiv	Paper	Rwaida Alssadi et al.	3 days ago
041	Try Again, Don't Look Back: Blind Resampling Outperforms Self-Repair in Small Code Models	arXiv	Paper	Yuvraj Verma	3 days ago
042	Authoring Agent Skills: A Software-Engineering Approach	arXiv	Paper	Giuseppe Destefanis	4 days ago
043	Behavior-Driven Explainability	arXiv	Paper	Caroline Dominik et al.	4 days ago
044	Beyond "What to Retrieve": Uncertainty in Retrieval-Augmented Code Generation	arXiv	Paper	Chandan Kumar Sah et al.	4 days ago
045	Chart-Supported or Model-Supplied? Examining MLLM-Generated Claims for Accessible Visualization	arXiv	Paper	Ishrat Jahan Eliza et al.	4 days ago
046	Evaluating Fuzz Testing for Reinforcement Learning Agents	arXiv	Paper	Zhibin Kang et al.	4 days ago
047	Evaluating the Impact of Explainable AI on Trust in AI-Assisted Code Review	arXiv	Paper	Zhenhan Gao et al.	4 days ago
048	Learning from 53.6K Real-World Developer Edits of AI-Generated Code	arXiv	Paper	Jenny T. Liang et al.	4 days ago
049	Preliminary Guidelines for Using and Evaluating GenAI Tools to Support Systematic Literature Reviews	arXiv	Paper	Barbara Kitchenham et al.	4 days ago
050	SAFAARI: Schema-Aware Framework for Accelerated Advertiser Response Intelligence	arXiv	Paper	Bhanu Teja Rangaraju et al.	4 days ago
051	Trusting-Trust Attack against an Entire Linux Distribution through Binary Manipulation	arXiv	Paper	Julien Malka et al.	4 days ago
052	Plans Work in Mysterious Ways: Evaluating a Plan Mode for Spreadsheet Agents	arXiv	Paper	Aayush Kumar et al.	5 days ago
053	TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation	arXiv	Paper	Arslan Bisharat et al.	5 days ago
054	Where Is the Cost of Third-Party API Routers in Agentic Software Development?	arXiv	Paper	Donghao Fu et al.	5 days ago
055	Adversarial Test-Hardening for AI-Written Code: An Instrument Autopsy and a Pre-Registered Causal Estimate of the Critic Loop	arXiv	Paper	Jeff Otterson	6 days ago
056	From Signals to Behaviors: Evidence-Based Android Malware Detection	arXiv	Paper	Shiwen Song et al.	6 days ago
057	Metamorphic Testing for Clinical ML Models: A Framework Proposal and Pilot Study	arXiv	Paper	Jie JW Wu et al.	6 days ago
058	On AI Safety and Security Technical Debt in Engineering AI-Enabled Systems	arXiv	Paper	Muhammad Tukur et al.	6 days ago
059	AssumptionMiner: Extracting, Tracing, and Revising Implicit Assumptions in LLM Code Generation	arXiv	Paper	Jie "JW" Wu	7 days ago
060	DeFiScreener: Efficient DeFi Attack Pre-screening in Smart Contracts via Historical Case Matching	arXiv	Paper	Rui Cao, Shaojing Fan et al.	7 days ago

Showing 60 of 10,754 documents · scroll for more