Search


Start a new search
Add filters:

Use filters to refine the search results.


Results 4721-4730 of 9613 (Search time: 0.019 seconds).
Item hits:
Issue DateTitleAuthor(s)
2004Testing from a nondeterministic finite state machine using adaptive state countingHierons, RM
2007Integrating BOINC with Microsoft Excel: A case studyZhang, J; Mustafee, N; Saville, J; Taylor, S J E
2009An empirical investigation of inheritance trends in JAVA OSS evolutionNasseri, Emal
2008Using formal methods to support testingHierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M
2009Social research on neglected diseases of poverty: continuing and emerging themesManderson, L; Aagaard-Hansen, J; Allotey, P; Gyapong, M; Sommerfeld, J
2002VADA: A transformation-based system for variable dependence analysisHarman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J
2001Pre/post conditioned slicingHarman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J
1999Program simplification as a means of approximating undecidable propositionsHarman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S
2004Evolving transformation sequences using genetic algorithmsFatiregun, D; Harman, M; Hierons, RM
2006The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graphCounsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y