4 papers
Traceable LLM-Generated Hazard Scenarios for Operational Safety Analysis of Aviation Systems Using ASRS Reports
Cristian Mascia, Roberto Pietrantuono, Daniel Rodriguez +1
Operational hazard analysis of aviation system operations must consider interactions among weather, ATC actions, airspace constraints, aircraft operations, and human factors - dist…
Reasoning Beyond Prediction: From Data-Driven to Causal Software Engineering
Roberto Pietrantuono, Luca Giamattei, Stefano Russo
Software engineering is an intellectually demanding, creative discipline that juggles a web of interdependent tasks to design, build, and assure the quality of increasingly complex…
Causal Software Engineering: A Vision and Roadmap
Roberto Pietrantuono, Luca Giamattei, Stefano Russo +2
Software engineering increasingly involves making high-stakes decisions under uncertainty, using signals from code, field data, and socio-technical processes. Recent AI-driven supp…
Causal Reasoning in Software Quality Assurance: A Systematic Review
Luca Giamattei, Antonio Guerriero, Roberto Pietrantuono +1
Context: Software Quality Assurance (SQA) is a fundamental part of software engineering to ensure stakeholders that software products work as expected after release in operation. M…