Brunel University Research Archive: Search

Search

Search:
for

Current filters:

Start a new search

Add filters:

Results/Page | Sort items by In order Authors/record

Results 1-9 of 9 (Search time: 0.025 seconds).

previous
1
next

Item hits:

Issue Date	Title	Author(s)
2002	FORTEST: Formal methods and testing	Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P
2002	A post-placement side-effect removal algorithm	Harman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J
2002	Expanding an extended finite state machine to aid testability	Hierons, RM; Kim, TH; Ural, H
2002	VADA: A transformation-based system for variable dependence analysis	Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J
2002	Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine	Hierons, RM
2002	Code extraction algorithms which unify slicing and concept assignment	Harman, M; Gold, N; Hierons, RM; Binkley, D
2002	Evolutionary testing supported by slicing and transformation	Harman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S; Wegener, J; Sthamer, H; Baresel, A
2002	Comparing test sets and criteria in the presence of test hypotheses and fault domains	Hierons, RM
2002	Reduced length checking sequences	Hierons, RM; Ural, H