dblp.uni-trier.dewww.uni-trier.de

Karnig Derderian

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Qiang Guo [1] [2] [3] [4] [5] [6]
2Mark Harman [1] [2] [3] [4] [5] [6]
3Robert M. Hierons [1] [2] [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)