Karnig Derderian Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian: Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177

Coauthor Index

1Qiang Guo
[j4] [j3] [j2] [j1] [c3] [c2] [c1]
2Mark Harman
[j4] [j3] [j2] [j1] [c3] [c2] [c1]
3Robert M. Hierons
[c5] [j4] [c4] [j3] [j2] [j1] [c3] [c2] [c1]
4Mercedes G. Merayo
[c5] [c4]
5Manuel Núñez
[c5] [c4]
Last update Mon May 20 06:06:36 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page