EPSRC logo
Researcher Details
 
Name: Professor M Harman
Organisation: UCL
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/P005888/1 InfoTestSS: Information theory and Test Suite Selection(C)
EP/M025853/1 GGGP: Grow and Graft Genetic Programming(P)
EP/J017515/1 DAASE: Dynamic Adaptive Automated Software Engineering(C)
EP/I033688/1 GISMO: Genetic Improvement of Software for Multiple Objectives(P)
EP/I010165/1 RE-COST: REducing the Cost of Oracles for Software Testing(P)
EP/D050863/2 SEBASE: Software Engineering By Automated SEarch(P)
EP/F059442/2 SLIM : SLIcing state based Models(P)
EP/G060525/2 CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.(P)
EP/G060525/1 CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.(P)
EP/G04872X/1 SSBSE: Symposium on Search Based Software Engineering(P)
EP/F059442/1 SLIM : SLIcing state based Models(P)
EP/F010443/1 A-CluB: Automated Cluster Breaking(P)
EP/F012535/1 Testing Academia and Industry Conference 2007(P)
EP/E002919/1 Linear Schemas for Program Dependence(C)
EP/D050863/1 SEBASE: Software Engineering By Automated SEarch(P)
EP/D077095/1 Testing Academia and Industry Conference - Practice and Research Techniques(P)
GR/T22872/01 CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing(C)
GR/T22865/01 CONTRACTS: CONcept assignment To Raise the abstrACTion level of Slicing(P)
GR/S93684/01 NETWORK: ASTRENET: Analysis, Slicing and Transformation Network(P)
GR/R98938/02 TeTra:Testability Transformation(P)
GR/S79015/01 Testing of Communicating Systems (TestCom UK)(C)
GR/S56177/01 SBSE: Search-Based Software Engineering(P)
GR/R98938/01 TeTra:Testability Transformation(P)
GR/R43150/01 NETWORK: Formal Methods and Testing (FORTEST)(C)
GR/M78083/02 NETWORK: SEMINAL: SOFTWARE ENGINEERING WITH METAHEURISTIC INNOVATIVE ALGORITHMS(P)
GR/M58719/02 GUSTT: GUIDED SLICING AND TARGETED TRANSFORMATION(P)
GR/M58719/01 GUSTT: GUIDED SLICING AND TARGETED TRANSFORMATION(P)
GR/M78083/01 NETWORK: SEMINAL: SOFTWARE ENGINEERING WITH METAHEURISTIC INNOVATIVE ALGORITHMS(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator