Browsing by Author Kalaji, AS
Showing results 2 to 8 of 8
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |
2011 | An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models | Kalaji, AS; Hierons, RM; Swift, S |
2011 | An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models | 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 |
2009 | A search-based technique for testing from extended finite state machine model | Kalaji, AS; Hierons, RM; Swift, S |
2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |