Computing Unique Input/Output Sequences Using Genetic Algorithms. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (FATES, 2003)

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (GECCO (2), 2004)

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (GECCO, 2005)

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (IEE Proc. Softw., 2005)

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (Comput. J., 2006)

Improving test quality using robust unique input/output circuit sequences (UIOCs). - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (Inf. Softw. Technol., 2006)

Improving fault coverage and minimising the cost of fault identification when testing from finite state machines. - Qiang Guo 001 (2006)

Verification of timed Erlang/OTP components using the process algebra mucrl. - Qiang Guo 001; John Derrick (Erlang Workshop, 2007)

Verifying Erlang/OTP Components in mu CRL. - Qiang Guo 001 (FORTE, 2007)

Heuristics for fault diagnosis when testing from finite state machines. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (Softw. Test. Verification Reliab., 2007)

Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. - Qiang Guo 001; John Derrick; Csaba Hoch (FORTE, 2008)

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. - Neil Walkinshaw; John Derrick; Qiang Guo 001 (FM, 2009)

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. - Qiang Guo 001; John Derrick; Neil Walkinshaw (TestCom/FATES, 2009)

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. - Qiang Guo 001; John Derrick; Clara Benac Earle; Lars-Åke Fredlund (TAIC PART, 2010)

Estimating the feasibility of transition paths in extended finite state machines. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (Autom. Softw. Eng., 2010)

Formally based tool support for model checking Erlang applications. - Qiang Guo 001; John Derrick (Int. J. Softw. Tools Technol. Transf., 2011)