Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Correctness, confidence, and context: Framing software assurance in the AI age
Mary Shaw
Software engineering has a complicated relationship with "correctness". We recognize the challenges of full formal rigor as well as many required properties beyond functional corre…
cs.SE2026
SE Research is a Complex Ecosystem: Isolated Fixes Keep Failing -- and Systems Thinking Shows Why
Mary Shaw, Mary Lou Maher, Keith Webster
The software engineering research community is productive, yet it faces a constellation of challenges: swamped review processes, metric-driven incentives, distorted publication pra…