Browsing by Subject Model-based testing
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
---|---|---|
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 |
2010 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem | Kalaji, AS; Hierons, RM; Swift, S |
2015 | Incomplete distinguishing sequences for finite state machines | Hierons, RM; Turker, UC |
2015 | A more precise implementation relation for distributed testing | Hierons, RM |
2017 | Passive Testing with Asynchronous Communications and Timestamps | Merayo, MG; Hierons, RM; Nunez, M |
2009 | A search-based approach for automatic test generation from extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |