Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 71-77 of 77 (Search time: 0.021 seconds).
Item hits:
Issue DateTitleAuthor(s)
2008Verdict functions in testing with a fault domain or test hypothesesHierons, RM
2009Overcoming controllability problems with fewest channels between testersHierons, RM; Ural, H
2009A search-based technique for testing from extended finite state machine modelKalaji, AS; Hierons, RM; Swift, S
2009Testing timed systems modeled by stream X-machinesMerayo, MG; Núñez, M; Hierons, RM
2004Testability transformationHarman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M
2009Using formal specifications to support testingHierons, 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
2009Mutation testing from probabilistic and stochastic finite state machinesHierons, RM; Merayo, MG