Imagen de Portada

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fang, Jian, Xiong, Yingfei
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Learning Method for Symbolic Systems Using Large Language Models
por: Fang, Jian, et al.
Publicado: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
por: Li, Fengjie, et al.
Publicado: (2026)

On Reasoning-Centric LLM-based Automated Theorem Proving
por: Sun, Yican, et al.
Publicado: (2026)

Trustworthy AI Software Engineers
por: Aleti, Aldeida, et al.
Publicado: (2026)

Is Your Automated Software Engineer Trustworthy?
por: Mathews, Noble Saji, et al.
Publicado: (2025)

TrustOps: Continuously Building Trustworthy Software
por: Brito, Eduardo, et al.
Publicado: (2024)

Engineering Trustworthy Software: A Mission for LLMs
por: Vieira, Marco
Publicado: (2024)

MIT Lincoln Laboratory: A Case Study on Improving Software Support for Research Projects
por: Strassler, Daniel, et al.
Publicado: (2025)

Don't Disturb Me: Challenges of Interacting with SoftwareBots on Open Source Software Projects
por: Wessel, Mairieli, et al.
Publicado: (2021)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
por: Xiao, Yuan-An, et al.
Publicado: (2023)

Effective Random Test Generation for Deep Learning Compilers
por: Ren, Luyao, et al.
Publicado: (2023)

Enablers and Barriers of Empathy in Software Developer and User Interaction: A Mixed Methods Case Study
por: Gunatilake, Hashini, et al.
Publicado: (2024)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
por: Jin, Dongming, et al.
Publicado: (2025)

The Role of Generative AI in Software Development Productivity: A Pilot Case Study
por: Coutinho, Mariana, et al.
Publicado: (2024)

Validity-Preserving Delta Debugging via Generator Trace Reduction
por: Ren, Luyao, et al.
Publicado: (2024)

Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool Selection
por: Obaidi, Martin, et al.
Publicado: (2025)

ChatGPT as a Software Development Bot: A Project-based Study
por: Waseem, Muhammad, et al.
Publicado: (2023)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
por: Huang, Zhechong, et al.
Publicado: (2026)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
por: Zhao, Yuwei, et al.
Publicado: (2025)

Towards Trustworthy AI Software Development Assistance
por: Maninger, Daniel, et al.
Publicado: (2023)

An Empirical Study of Interaction Bugs in ROS-based Software
por: Chen, Zhixiang, et al.
Publicado: (2025)

An Empirical Study of Policy-as-Code Adoption in Open-Source Software Projects
por: Foalem, Patrick Loic, et al.
Publicado: (2026)

Measuring Software Development Waste in Open-Source Software Projects
por: Varanasi, Dhiraj SM, et al.
Publicado: (2024)

LLMs Are Not a Silver Bullet: A Case Study on Software Fairness
por: Li, Xinyue, et al.
Publicado: (2026)

How Do Software Engineering Students Use Generative AI in Real-World Capstone Projects? An Empirical Baseline Study
por: Mircea, Michael, et al.
Publicado: (2026)

GenAI-Enabled Backlog Grooming in Agile Software Projects: An Empirical Study
por: Oftebro, Kasper Lien, et al.
Publicado: (2025)

Infusion of Blockchain to Establish Trustworthiness in AI Supported Software Evolution: A Systematic Literature Review
por: Naserameri, Mohammad, et al.
Publicado: (2026)

Interactive GDPR-Compliant Privacy Policy Generation for Software Applications
por: Sangaroonsilp, Pattaraporn, et al.
Publicado: (2024)

Investigating Code Reuse in Software Redesign: A Case Study
por: Zhang, Xiaowen, et al.
Publicado: (2026)

Requirements Volatility in Software Architecture Design: An Exploratory Case Study
por: Aaramaa, Sanja, et al.
Publicado: (2026)

Insights Towards Better Case Study Reporting in Software Engineering
por: Rico, Sergio
Publicado: (2024)

A Large-Scale Study on Developer Engagement and Expertise in Configurable Software System Projects
por: Milano, Karolina M., et al.
Publicado: (2025)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
por: Hu, Jilin, et al.
Publicado: (2025)

Line-level Semantic Structure Learning for Code Vulnerability Detection
por: Wang, Ziliang, et al.
Publicado: (2024)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
por: Xiao, Yuan-An, et al.
Publicado: (2025)

Reducing Cost of LLM Agents with Trajectory Reduction
por: Xiao, Yuan-An, et al.
Publicado: (2025)

GramTrans: A Better Code Representation Approach in Code Generation
por: Zhang, Zhao, et al.
Publicado: (2025)

Software Solutions for Newcomers' Onboarding in Software Projects: A Systematic Literature Review
por: Santos, Italo, et al.
Publicado: (2024)

Assessing Teamwork Dynamics in Software Development Projects
por: Berrezueta-Guzman, Santiago, et al.
Publicado: (2025)