9
Publications
306
Citations
9
H-Index
2001
Active since
Mohammed Daoudi is an author at Goldsmiths University of London specializing in engineering, formal methods, and program analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingAutomated ReasoningFormal VerificationSoftware EngineeringMedicine
Publications per year
2001–2003
9
9
Conditioned slicing supports partition testing
Robert M. Hierons, Mark Harman, Chris Fox et al. · Software Testing Verification and Reliability · 2001 · 55 citations
Syntax-Directed Amorphous Slicing
Mark Harman, Lin Hu, Malcolm Munro et al. · Automated Software Engineering · 2003 · 21 citations · Full text
Rows per page
1–5 of 9