Karnig Derderian

According to our database, Karnig Derderian authored at least 11 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.

Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez

Proceedings of the Advances in Computational Intelligence, 2011

2010

Estimating the feasibility of transition paths in extended finite state machines.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Autom. Softw. Eng., 2010

2009

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.

Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2007

Heuristics for fault diagnosis when testing from finite state machines.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Softw. Test. Verification Reliab., 2007

2006

Automated test sequence generation for finite state machines using genetic algorithms.

Karnig Derderian

PhD thesis, 2006

Improving test quality using robust unique input/output circuit sequences (UIOCs).

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Inf. Softw. Technol., 2006

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Comput. J., 2006

2005

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

IEE Proc. Softw., 2005

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

2004

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Proceedings of the Genetic and Evolutionary Computation, 2004

2003

Computing Unique Input/Output Sequences Using Genetic Algorithms.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Proceedings of the Formal Approaches to Software Testing, 2003