Browsing by Author Clark, JA
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| 2002 | FORTEST: Formal methods and testing | Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P |
| 2003 | Reformulating software engineering as a search problem | Clark, JA; Dolado, JJ; Harman, M; Hierons, RM; Jones, BE; Lumkin, M; Mitchell, B; Mancoridis, S; Rees, K; Roper, M; Shepperd, MJ |
| 2011 | Semantic mutation testing | Clark, JA; Dan, H; Hierons, RM |