Search
Add filters:
Use filters to refine the search results.
Results 1-7 of 7 (Search time: 0.02 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2015 | Incomplete distinguishing sequences for finite state machines | Hierons, RM; Turker, UC |
2014 | Combining centralised and distributed testing | Hierons, RM |
2008 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
2009 | A search-based approach for automatic test generation from extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
2015 | A more precise implementation relation for distributed testing | Hierons, RM |
2010 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem | Kalaji, AS; Hierons, RM; Swift, S |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
Discover
Subject