Title: Theoretical Software Diagnostics