| 2008 |
— |
conf |
Formal Methods and Testing
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
|
| 2004 |
— |
conf |
WCRE
Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley
|
| 2004 |
J |
jnl |
Autom. Softw. Eng.
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
|
| 2004 |
J |
jnl |
IEEE Trans. Software Eng.
Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper
|
| 2003 |
J |
jnl |
IEEE Trans. Software Eng.
José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu
|
| 2002 |
— |
conf |
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
|
| 2002 |
C |
conf |
SCAM
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
|
| 2002 |
— |
conf |
ICSM
Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
|
| 2002 |
A |
conf |
GECCO
Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer
|
| 2002 |
C |
conf |
SCAM
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
|
| 2002 |
J |
jnl |
Inf. Softw. Technol.
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
|
| 2002 |
C |
conf |
SCAM
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
|
| 2002 |
— |
conf |
TPHOLs
Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
|
| 2001 |
— |
conf |
WCRE
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang
|
| 2001 |
— |
conf |
IWPC
Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang
|