A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm
Fuente:
arXiv
Saved in:
| Main Authors: | Mastropaolo, Antonio, Poshyvanyk, Denys |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025)
by: Velasco, Alejandro, et al.
Published: (2025)
Toward Explaining Large Language Models in Software Engineering Tasks
by: Vitale, Antonio, et al.
Published: (2025)
by: Vitale, Antonio, et al.
Published: (2025)
Towards Comprehensive Benchmarking Infrastructure for LLMs In Software Engineering
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
On the Effectiveness of LLM-as-a-judge for Code Generation and Summarization
by: Crupi, Giuseppe, et al.
Published: (2025)
by: Crupi, Giuseppe, et al.
Published: (2025)
Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering
by: Zappin, Jake, et al.
Published: (2025)
by: Zappin, Jake, et al.
Published: (2025)
Rethinking Software Empirical Studies with Structural Causal Models
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
Towards Enabling An Artificial Self-Construction Software Life-cycle via Autopoietic Architectures
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026)
Challenges and Practices in Quantum Software Testing and Debugging: Insights from Practitioners
by: Zappin, Jake, et al.
Published: (2025)
by: Zappin, Jake, et al.
Published: (2025)
Measuring Emergent Capabilities of LLMs for Software Engineering: How Far Are We?
by: O'Brien, Conor, et al.
Published: (2024)
by: O'Brien, Conor, et al.
Published: (2024)
Mapping the Trust Terrain: LLMs in Software Engineering -- Insights and Perspectives
by: Khati, Dipin, et al.
Published: (2025)
by: Khati, Dipin, et al.
Published: (2025)
Prompting in Practice: Investigating Software Practitioners' Use of Generative AI Tools
by: Otten, Daniel, et al.
Published: (2025)
by: Otten, Daniel, et al.
Published: (2025)
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
by: Wintersgill, Nathan, et al.
Published: (2024)
by: Wintersgill, Nathan, et al.
Published: (2024)
Perspective of Software Engineering Researchers on Machine Learning Practices Regarding Research, Review, and Education
by: Mojica-Hanke, Anamaria, et al.
Published: (2024)
by: Mojica-Hanke, Anamaria, et al.
Published: (2024)
"Don't Be Afraid, Just Learn": Insights from Industry Practitioners to Prepare Software Engineers in the Age of Generative AI
by: Otten, Daniel, et al.
Published: (2026)
by: Otten, Daniel, et al.
Published: (2026)
On Interpreting the Effectiveness of Unsupervised Software Traceability with Information Theory
by: Palacio, David N., et al.
Published: (2024)
by: Palacio, David N., et al.
Published: (2024)
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
by: Stalnaker, Trevor, et al.
Published: (2023)
by: Stalnaker, Trevor, et al.
Published: (2023)
On the Generalizability of Transformer Models to Code Completions of Different Lengths
by: Cooper, Nathan, et al.
Published: (2025)
by: Cooper, Nathan, et al.
Published: (2025)
Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection
by: Yan, Yanfu, et al.
Published: (2025)
by: Yan, Yanfu, et al.
Published: (2025)
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums
by: Zappin, Jake, et al.
Published: (2024)
by: Zappin, Jake, et al.
Published: (2024)
The Rise and Fall(?) of Software Engineering
by: Mastropaolo, Antonio, et al.
Published: (2024)
by: Mastropaolo, Antonio, et al.
Published: (2024)
Lost in Code Generation: Reimagining the Role of Software Models in AI-driven Software Engineering
by: Cito, Jürgen, et al.
Published: (2025)
by: Cito, Jürgen, et al.
Published: (2025)
An Empirical Study on the Effects of System Prompts in Instruction-Tuned Models for Code Generation
by: Cheng, Zaiyu, et al.
Published: (2026)
by: Cheng, Zaiyu, et al.
Published: (2026)
Detecting and Correcting Hallucinations in LLM-Generated Code via Deterministic AST Analysis
by: Khati, Dipin, et al.
Published: (2026)
by: Khati, Dipin, et al.
Published: (2026)
A Viable Paradigm of Software Automation: Iterative End-to-End Automated Software Development
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
Code Review Automation: Strengths and Weaknesses of the State of the Art
by: Tufano, Rosalia, et al.
Published: (2024)
by: Tufano, Rosalia, et al.
Published: (2024)
Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code?
by: Velasco, Alejandro, et al.
Published: (2024)
by: Velasco, Alejandro, et al.
Published: (2024)
Developers' Perspectives on Software Licensing: Current Practices, Challenges, and Tools
by: Wintersgill, Nathan, et al.
Published: (2025)
by: Wintersgill, Nathan, et al.
Published: (2025)
SnipGen: A Mining Repository Framework for Evaluating LLMs for Code
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2025)
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2025)
Is Quantization a Deal-breaker? Empirical Insights from Large Code Models
by: Afrin, Saima, et al.
Published: (2025)
by: Afrin, Saima, et al.
Published: (2025)
Tricky$^2$: Towards a Benchmark for Evaluating Human and LLM Error Interactions
by: Granger, Cole, et al.
Published: (2026)
by: Granger, Cole, et al.
Published: (2026)
"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
by: Ami, Amit Seal, et al.
Published: (2023)
by: Ami, Amit Seal, et al.
Published: (2023)
A Systematic Literature Review of Parameter-Efficient Fine-Tuning for Large Code Models
by: Afrin, Saima, et al.
Published: (2025)
by: Afrin, Saima, et al.
Published: (2025)
Is Your Automated Software Engineer Trustworthy?
by: Mathews, Noble Saji, et al.
Published: (2025)
by: Mathews, Noble Saji, et al.
Published: (2025)
Automated Quantum Software and AI Engineering
by: Siavash, Nazanin, et al.
Published: (2026)
by: Siavash, Nazanin, et al.
Published: (2026)
Developer Perspectives on Licensing and Copyright Issues Arising from Generative AI for Software Development
by: Stalnaker, Trevor, et al.
Published: (2024)
by: Stalnaker, Trevor, et al.
Published: (2024)
Parameter-Efficient Multi-Task Fine-Tuning in Code-Related Tasks
by: Haque, Md Zahidul, et al.
Published: (2026)
by: Haque, Md Zahidul, et al.
Published: (2026)
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports
by: Yan, Yanfu, et al.
Published: (2024)
by: Yan, Yanfu, et al.
Published: (2024)
Neurosymbolic Auditing of Natural-Language Software Requirements
by: Hall, Bethel, et al.
Published: (2026)
by: Hall, Bethel, et al.
Published: (2026)
The Second Round: Diverse Paths Towards Software Engineering
by: Hyrynsalmi, Sonja, et al.
Published: (2024)
by: Hyrynsalmi, Sonja, et al.
Published: (2024)
A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code
by: Velasco, Alejandro, et al.
Published: (2025)
by: Velasco, Alejandro, et al.
Published: (2025)
Similar Items
-
Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025) -
Toward Explaining Large Language Models in Software Engineering Tasks
by: Vitale, Antonio, et al.
Published: (2025) -
Towards Comprehensive Benchmarking Infrastructure for LLMs In Software Engineering
by: Rodriguez-Cardenas, Daniel, et al.
Published: (2026) -
On the Effectiveness of LLM-as-a-judge for Code Generation and Summarization
by: Crupi, Giuseppe, et al.
Published: (2025) -
Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering
by: Zappin, Jake, et al.
Published: (2025)