Karnig.co.uk

Technical Academic Research

I got introduced to Genetic Algorithms while doing my BSc in Computer Science at the Department of Computer Science at the University of Hull under the supervision of Dr Len Bottaci. This led me to continue as a PhD student with the Department of Information Systems & Computing at Brunel University until 2006. My PhD thesis was in the areas of software testing and meta heuristic algorithms with application of GAs in particular. Supervised by Prof. Robert Hierons and Prof. Mark Harman I focused on automating test data generation from state charts and other search based software engineering.

I have been doing some part-time work as a visiting researcher at Brunel and University Complutenese Madrid and Brunel University since.

Authored and co-authored publications

•  "Estimating the feasibility of transition paths in extended finite state machines", Automated Software Engineering Journal, Vol. 17, Issue 1, March 2010 - PDF
• "Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms", IWANN 2009
• "Heuristics for fault diagnosing when testing from finite state machines", Software testing, verification and reliability , Vol. 17, Issue 1, March 2007
• “Automated Unique Input Output sequence generation for conformance testing of FSMs”, the Computer Journal, Vol. 49, No. 3, May 2006 - PDF
• "Improving test quality using robust unique input/output circuit sequences", the Journal of Information and Software Technology,Vol.48, Issue 8, August 2006 - PDF
• "Generating Feasible Input Sequences for Extended Finite State Machines (EFSMs) using Genetic Algorithms", Proceedings of the GECCO-2005, ACM Press, New York , 2005 - PDF
• "Constructing Multiple Unique Input/Output Sequences Using Metaheuristic Optimisation Techniques", IEE Proceedings - Software, Vol. 152, No. 3, June 2005. - PDF
• "Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)", Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2004, in LNCS vol. 3103, Springer, 2004
• "Computing Unique Input/Output Sequences Using Genetic Algorithms", 3rd International Workshop on Formal Approaches to Testing of Software (FATES2003), in LNCS Vol. 2931, 2003

For the sake of completness I will include my old Academic Reasearch page(external link).