2 papers
cs.SE2026
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…
cs.FL2026
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…