Scott Underwood is an author at New Mexico State University specializing in formal verification, system software, and software maintenance.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2002–2002
1
1
A framework for automatic debugging
Mikhail Auguston, Caroline Jeffery, Scott Underwood · 2002 · 52 citations
Rows per page
1–1 of 1