Copertina

Context-Augmented Code Generation: How Product Context Improves AI Coding Agent Decision Compliance by 49%

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dillon, Drew, Varanasi, Kasyap
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence Computational Engineering, Finance, and Science Machine Learning Logic in Computer Science D.2.1; I.2.2; D.2.5
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Path-optimal symbolic execution of heap-manipulating programs
di: Braione, Pietro, et al.
Pubblicazione: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
di: Chen, Jinbao, et al.
Pubblicazione: (2024)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Nidus: Externalized Reasoning for AI-Assisted Engineering
di: Gorinevski, Danil
Pubblicazione: (2026)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
di: Ariamajd, Armin, et al.
Pubblicazione: (2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
di: Rodríguez, María Belén, et al.
Pubblicazione: (2026)

Theory building for empirical software engineering in qualitative research: Operationalization
di: Pérez, Jorge, et al.
Pubblicazione: (2024)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
di: Li, Meng, et al.
Pubblicazione: (2026)

Validating Formal Specifications with LLM-generated Test Cases
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
di: Baima, Renan Lima, et al.
Pubblicazione: (2024)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
di: Mousavi, Mohammad Reza
Pubblicazione: (2026)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
di: Kamiya, Toshihiro
Pubblicazione: (2024)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
di: Yang, Jun, et al.
Pubblicazione: (2025)

When Retrieval Hurts Code Completion: A Diagnostic Study of Stale Repository Context
di: Weng, Haojun, et al.
Pubblicazione: (2026)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
di: Dinu, Ion George, et al.
Pubblicazione: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
di: Zietsman, Christo
Pubblicazione: (2026)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
di: Prasetya, I. S. W. B., et al.
Pubblicazione: (2026)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
di: Wang, Changjie, et al.
Pubblicazione: (2025)

Detection, Classification and Prevalence of Self-Admitted Aging Debt
di: Sridharan, Murali, et al.
Pubblicazione: (2025)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
di: Rehan, Tzafrir
Pubblicazione: (2026)

Code Documentation and Analysis to Secure Software Development
di: Attie, Paul, et al.
Pubblicazione: (2024)

Leveraging Slither and Interval Analysis to build a Static Analysis Tool
di: Susan, Stefan-Claudiu
Pubblicazione: (2024)

Comparing Human and LLM Generated Code: The Jury is Still Out!
di: Licorish, Sherlock A., et al.
Pubblicazione: (2025)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
di: Kiecker, Tobias, et al.
Pubblicazione: (2026)

Automated Test Generation from Program Documentation Encoded in Code Comments
di: Denaro, Giovanni, et al.
Pubblicazione: (2025)

Proof of Concept as a First-Class Architectural Decision Instrument
di: Antognolli, Bruno Fernando, et al.
Pubblicazione: (2026)

Review Beats Planning: Dual-Model Interaction Patterns for Code Synthesis
di: Miller, Jan
Pubblicazione: (2026)

Reasoning Provenance for Autonomous AI Agents: Structured Behavioral Analytics Beyond State Checkpoints and Execution Traces
di: Vispute, Neelmani, et al.
Pubblicazione: (2026)

CIFE: Code Instruction-Following Evaluation
di: Gunnu, Sravani, et al.
Pubblicazione: (2025)

Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
di: Mitchell, Jacqueline, et al.
Pubblicazione: (2025)

CodeTracer: Towards Traceable Agent States
di: Li, Han, et al.
Pubblicazione: (2026)

Causal Models in Requirement Specifications for Machine Learning: A vision
di: Heyn, Hans-Martin, et al.
Pubblicazione: (2025)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
di: Porbeck, Julius, et al.
Pubblicazione: (2026)

Quantifying Confidence in Assurance 2.0 Arguments
di: Bloomfield, Robin, et al.
Pubblicazione: (2026)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
di: Kang, Sungmin, et al.
Pubblicazione: (2025)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
di: Lucio, Levi
Pubblicazione: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
di: Ravi, Ravin, et al.
Pubblicazione: (2026)

It's Alive! What a Live Object Environment Changes in Software Engineering Practice
di: Grigera, Julián, et al.
Pubblicazione: (2026)