Search


Start a new search
Add filters:

Use filters to refine the search results.


Results 891-900 of 2946 (Search time: 0.014 seconds).
Item hits:
Issue DateTitleAuthor(s)
2007Everywhere and nowhere: Nearshore software development in the context of globalisationAbbott, PY; Jones, MR
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
2015Toward the estimation of background fluctuations under newly-observed signals in particle physicsColecchia, F
2014A new test framework for communications-critical large scale systemsNabulsi, MA; Hierons, RM
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
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