Home » Verification and validation; requirements engineering; requirements traceability; software maintainability; software analysis; static analysis; software testing.
Research Areas: Verification and validation; requirements engineering; requirements traceability; software maintainability; software analysis; static analysis; software testing.
