Search
Add filters:
Use filters to refine the search results.
Results 1-8 of 8 (Search time: 0.01 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2010 | Canonical finite state machines for distributed systems | Hierons, RM |
2010 | Exploring the eradication of code smells: An empirical and theoretical perspective | Counsell, S; Hierons, RM; Hamza, H; Black, S; Durrand, M |
2010 | Checking experiments for stream X-machines | Hierons, RM |
2010 | Generating a checking sequence with a minimum number of reset transitions | Hierons, RM; Ural, H |
2010 | Automated test data generation on the analyses of feature models: A metamorphic testing approach | Segura, S; Benavides, D; Ruiz-Cortés, A; 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 |
2010 | A trajectory-based strict semantics for program slicing | Barraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L |
2010 | Reaching and distinguishing states of distributed systems | Hierons, RM |