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 61-70 of 78 (Search time: 0.036 seconds).

previous
1
...
4
5
6
7
8
next

Item hits:

Issue Date	Title	Author(s)
2008	Checking sequences for distributed test architectures	Hierons, RM; Ural, H
2008	Verdict functions in testing with a fault domain or test hypotheses	Hierons, RM
2009	Overcoming controllability problems with fewest channels between testers	Hierons, RM; Ural, H
2009	A search-based technique for testing from extended finite state machine model	Kalaji, AS; Hierons, RM; Swift, S
2009	Testing timed systems modeled by stream X-machines	Merayo, MG; Núñez, M; Hierons, RM
2004	Testability transformation	Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M
2009	Using formal specifications to support testing	Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, J; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, MR; Zedan, H
2009	Mutation testing from probabilistic and stochastic finite state machines	Hierons, RM; Merayo, MG
2001	Checking states and transitions of a set of communicating finite state machines	Hierons, RM
2002	Comparing test sets and criteria in the presence of test hypotheses and fault domains	Hierons, RM