 | 2009 |
|---|
| 7 |       | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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) |
| 4 | | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
|---|
| 1 | | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES 2003: 164-177 |
