K. C. Mander is an author at University of York specializing in engineering, systems engineering, and software design.
Top concepts
EngineeringSystems EngineeringVerificationFormal MethodsSoftware DesignTest AutomationProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
1995–2002
3
3
An automated framework for structural test-data generation
Nigel Tracey, John A. Clark, K. C. Mander et al. · 2002 · 206 citations
Automated test-data generation for exception conditions
Nigel Tracey, John A. Clark, K. C. Mander et al. · Software Practice and Experience · 2000 · 125 citations
Rows per page
1–3 of 3