| 2011 | ||
|---|---|---|
| c5 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403 | |
| 2010 | ||
| j4 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng. 17(1): 33-56 (2010) | |
| 2009 | ||
| c4 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 | |
| 2007 | ||
| j3 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Heuristics for fault diagnosis when testing from finite state machines. Softw. Test., Verif. Reliab. 17(1): 41-57 (2007) | |
| 2006 | ||
| j2 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006) | |
| j1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Improving test quality using robust unique input/output circuit sequences (UIOCs). Information & Software Technology 48(8): 696-707 (2006) | |
| 2005 | ||
| c3 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082 | |
| 2004 | ||
| c2 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo: Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430 | |
| 2003 | ||
| c1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177 | |
| 1 | Qiang Guo | |
| 2 | Mark Harman | |
| 3 | Robert M. Hierons | |
| 4 | Mercedes G. Merayo | |
| 5 | Manuel Núñez |
Data released under the ODC-BY 1.0 license — See also our legal information page