Collection's Items (Sorted by Submit Date in Descending order): 31 to 80 of 104
Issue Date | Title | Author(s) |
2002 | VADA: A transformation-based system for variable dependence analysis | Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J |
2002 | Evolutionary testing supported by slicing and transformation | Harman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S; Wegener, J; Sthamer, H; Baresel, A |
2002 | Expanding an extended finite state machine to aid testability | Hierons, RM; Kim, TH; Ural, H |
2002 | FORTEST: Formal methods and testing | Bowen, JP; Bogdanov, K; Clark, JA; Harman, M; Hierons, RM; Krause, P |
2002 | Code extraction algorithms which unify slicing and concept assignment | Harman, M; Gold, N; Hierons, RM; Binkley, D |
2001 | Node coarsening calculi for program slicing | Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C |
2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
2001 | Backward conditioning: A new program specialisation technique and its application to program comprehension | Fox, C; Harman, M; Hierons, RM; Danicic, S |
2000 | ConSIT: A conditioned program slicer | Danicic, S; Fox, C; Harman, M; Hierons, RM |
1999 | Program simplification as a means of approximating undecidable propositions | Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S |
2009 | Towards a mood sensitive integrated development environment to enhance the performance of programmers | Khan, Iftikhar Ahmed |
2008 | Can k-NN imputation improve the performance of C4.5 with small software project data sets? A comparative evaluation | Song, Q; Shepperd, MJ; Chen, X; Liu, J |
2007 | Heuristics for fault diagnosing when testing from finite state machines | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2006 | Improving fault coverage and minimising the cost of fault identification when testing from finite state machines | Guo, Qiang |
2006 | Automated test sequence generation for finite state machines using genetic algorithms | Derderian, Karnig Agop |
2003 | Case-based reasoning and software engineering | Shepperd, M J |
2009 | A testability transformation approach for state-based programs | Kalaji, AS; Hierons, RM; Swift, S |
2008 | Using status messages in the distributed test architecture | Hierons, RM |
2009 | Overcoming controllability problems with fewest channels between testers | Hierons, RM; Ural, H |
2008 | Generating feasible transition paths for testing from an extended finite state machine (EFSM) | Kalaji, AS; Hierons, RM; Swift, S |
2008 | Automatic generation of test sequences form EFSM models using evolutionary algorithms | Kalaji, AS; Hierons, RM; Swift, S |
2008 | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine | Hierons, RM; Ipate, F |
2008 | Testing from a stochastic timed system with a fault model | Hierons, RM; Merayo, MG; Nunez, M |
2008 | The problem of labels in e-assessment of diagrams | Jayal, A; Shepperd, M J |
2008 | Using formal methods to support testing | Hierons, 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 |
2008 | Checking sequences for distributed test architectures | Hierons, RM; Ural, H |
2008 | Verdict functions in testing with a fault domain or test hypotheses | Hierons, RM |
2008 | Software integration testing based on communication coverage criteria and partial model generation | Robinson-Mallett, C; Hierons, RM; Poore, J; Liggesmeyer, P |
2008 | Practitioner-based measurement: a collaborative software measurement approach | Parkinson, ST; Hierons, RM; Lycett, M; Norman, M |
2008 | Data sets and data quality in software engineering | Liebchen, G; Shepperd, M J |
2006 | An empirical study of evolution of inheritance in Java OSS | Nasseri, E; Counsell, S; Shepperd, M J |
2001 | Predicting with sparse data | Shepperd, MJ; Cartwright, MH |
2005 | The consistency of empirical comparisons of regression and analogy-based software project cost prediction | Mair, CM; Shepperd, M J |
2002 | Search Heuristics, Case-Based Reasoning and Software Project Effort Prediction | Kirsopp, C; Shepperd, M J; Hart, J |
1994 | The use of function points to find cost analogies | Atkinson, K; Shepperd, M J |
2007 | An evaluation of e-learning standards | Jayal, A; Shepperd, M J |
2006 | Software Defect Association Mining and Defect Correction Effort Prediction | Song, Q; Shepperd, MJ; Cartwright, MH; Mair, C |
2001 | Comparing software prediction techniques using simulation | Shepperd, M J; Kadoda, G |
1997 | Estimating software project effort using analogies | Shepperd, MJ; Schofield, C |
2007 | Software project economics: A roadmap | Shepperd, MJ |
2007 | A systematic review of software development cost estimation studies | Jørgensen, M; Shepperd, MJ |
2007 | Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time | Danicic, S; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2007 | Search algorithms for regression test case prioritization | Li, Z; Harman, M; Hierons, RM |
2007 | Reducing the cost of applying adaptive test cases | Hierons, RM; Ural, H |
2003 | Equivalence of conservative, free, linear program schemas is decidable | Laurence, MR; Danicic, S; Harman, M; Hierons, RM; Howroyd, J |
2002 | Comparing test sets and criteria in the presence of test hypotheses and fault domains | Hierons, RM |
2006 | Avoiding coincidental correctness in boundary value analysis | Hierons, RM |
2004 | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine | Harman, M; Hierons, RM |
2006 | Optimizing the length of checking sequences | Hierons, RM; Ural, H |
2004 | Testing from a nondeterministic finite state machine using adaptive state counting | Hierons, RM |
Collection's Items (Sorted by Submit Date in Descending order): 31 to 80 of 104