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 |