Browsing by Subject Extended finite state machine
Showing results 2 to 4 of 4
< previous
Issue Date | Title | Author(s) |
---|---|---|
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
2009 | A search-based approach for automatic test generation from extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |