Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 51-60 of 143 (Search time: 0.007 seconds).
Item hits:
Issue DateTitleAuthor(s)
2010Generating a checking sequence with a minimum number of reset transitionsHierons, RM; Ural, H
2008Generating feasible transition paths for testing from an extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2008Practitioner-based measurement: a collaborative software measurement approachParkinson, ST; Hierons, RM; Lycett, M; Norman, M
2002FORTEST: Formal methods and testingBowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P
2004Amorphous procedure extractionHarman, M; Binkley, D; Singh, R; Hierons, RM
2001Backward conditioning: A new program specialisation technique and its application to program comprehensionFox, C; Harman, M; Hierons, RM; Danicic, S
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
2007A meta-analysis approach to refactoring and XPCounsell, S; Hierons, RM; Loizou, G
2009A search-based approach for automatic test generation from extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2002A post-placement side-effect removal algorithmHarman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X; Dolado, JJ; Otero, MC; Wegener, J