Collection's Items (Sorted by Submit Date in Descending order): 51 to 100 of 104
Issue Date | Title | Author(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 |
2002 | Reduced length checking sequences | Hierons, RM; Ural, H |
2001 | Checking states and transitions of a set of communicating finite state machines | Hierons, RM |
2003 | UIO sequence based checking sequences for distributed test architectures | Hierons, RM; Ural, H |
2001 | Testing a system specified using Statecharts and Z | Hierons, RM; Sadeghipour, S; Singh, H |
2001 | Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults | Hierons, RM |
2006 | Applying adaptive test cases to nondeterministic implementations | Hierons, RM |
2004 | Using a minimal number of resets when testing from a finite state machine | Hierons, RM |
1997 | Testing from semi-independent communicating finite state machines with a slow environment | Hierons, RM |
2000 | Testing conformance to a quasi-non-deterministic stream X-machine | Hierons, RM; Harman, M |
2004 | On the testability of SDL specifications | Kim, KH; Ural, H; Hierons, RM |
1998 | Adaptive testing of a deterministic implementation against a nondeterministic finite state machine | Hierons, RM |
1997 | Testing from a finite state machine: Extending invertibility to sequences | Hierons, RM |
2005 | Branch-coverage testability transformation for unstructured programs | Hierons, RM; Harman, M; Fox, CJ |
2002 | Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine | Hierons, RM |
1999 | Minimizing the cost of fault location when testing from a finite state machine | Hierons, RM |
2006 | Separating sequence overlap for automated test sequence | Hierons, RM |
2004 | Testability transformation | Harman, M; Hu, L; Hierons, RM; Wegener, J; Sthamer, H; Baresel, A; Roper, M |
2005 | Improved test quality using robust unique input/output circuit sequences (UIOCs) | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2005 | Constructing multiple unique input/output sequences using metaheuristic optimisation techniques | Guo, Q; Hierons, RM; Harman, M; Derderian, K |
2006 | Automated unique input output sequence generation for conformance testing of FSMs | Derderian, K; Hierons, RM; Harman, M; Qiang, G |
Collection's Items (Sorted by Submit Date in Descending order): 51 to 100 of 104