Software Engineering (B-SERC) Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 30 of 105
 next >
Issue DateTitleAuthor(s)
2011New ideas and emerging research: evaluating prediction system accuracyShepperd, M
2011Group project work from the outset: an in-depth teaching experience reportShepperd, M
2010Reaching and distinguishing states of distributed systemsHierons, RM
2008Testing in the distributed test architecture: An extended abstractHierons, RM
2009Checking sequence construction using adaptive and preset distinguishing sequencesHierons, RM; Jourdan, GV; Ural, H; Yenigun, H
2009Simulation relations for systems with distributed interfacesHierons, RM; Nunez, M
2009Mutation testing from probabilistic and stochastic finite state machinesHierons, RM; Merayo, MG
2010The impact of varying memory region number on RTSJ execution timeHamza, H
2009Testing timed systems modeled by stream X-machinesMerayo, MG; Núñez, M; Hierons, RM
2009Estimating the feasibility of transition paths in extended finite state machinesDerderian, K; Hierons, RM; Harman, M; Guo, Q
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM, et al
2010Canonical finite state machines for distributed systemsHierons, RM
2010Generating a checking sequence with a minimum number of reset transitionsHierons, RM; Ural, H
2009A search-based approach for automatic test generation from extended finite state machine (EFSM)Kalaji, AS; Hierons, RM; Swift, S
2010Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problemKalaji, AS; Hierons, RM; Swift, S
2009How reliable are systematic reviews in empirical software engineering?MacDonell, SG; Shepperd, MJ; Kitchenham, BA; Mendes, E
2009A literature review of expert problem solving using analogyMair, C; Martincova, M; Shepperd, MJ
2008Extending stream X-machines to specify and test systems with timeoutsMerayo, MG; Hierons, RM; Nunez, M
2008The precursor to an industrial software metrics programParkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M
2007Mutation testing from probabilistic finite state machinesHierons, RM; Merayo, MG
2007A thread-tag based semantics for sequence diagramsDan, H; Hierons, RM; Counsell, S
2007A meta-analysis approach to refactoring and XPCounsell, S; Hierons, RM; Loizou, G
2006The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graphCounsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y
2005Search-based amorphous slicingFatiregun, D; Harman, M; Hierons, RM
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
2004Evolving transformation sequences using genetic algorithmsFatiregun, D; Harman, M; Hierons, RM
2004Amorphous procedure extractionHarman, M; Binkley, D; Singh, R; Hierons, RM
2003A multiple hill climbing approach to software module clusteringMahdavi, K; Harman, M; Hierons, RM
2003Unions of slices are not slicesDe Lucia, A; Harman, M; Hierons, RM; Krinke, J
2002A post-placement side-effect removal algorithmHarman, M; Hu, L; Hierons, RM; Munro, M; Zhang, X, et al
Collection's Items (Sorted by Submit Date in Descending order): 1 to 30 of 105
 next >