I am a research associate in the Department of Computer Science at the University of Sheffield, working on the EPSRC funded FORSE (FORmally - Based Tool Support for Erlang Development) project and EU project ProTest (Property Based Testing for Erlang). Before joining the University of Sheffield, I studied my Ph.D degree in Information Systems and Computing at Brunel University, supervised by Professor Rob Hierons and Professor Mark Harman.

• Q. Guo and J. Derrick "Formally Based Tool Suport for Model Checking Erlang Applications", International Journal on Software Tools for Technology Transfer, Accepted for a publication.
• K. Derderian, R. M. Hierons, M. Harman and Q. Guo, "Estimating the Feasibility of Transition Paths in Extended Finite State Machines", Automated Software Engineering, Vol. 17, No. 1, pp. 33-56, 2010.
• Q. Guo, R. M. Hierons, M. Harman and K. Derderian, "Heuristics for fault diagnosis when testing from finite state machines", Software Testing, Verification and Reliability, Vol. 17, No. 1, pp. 41-57, 2007.
• K. Derderian, R. M. Hierons, M. Harman and Q. Guo, "Automated unique input output sequence generation for conformance testing of FSMs", The Computer Journal, Vol. 49, No. 3, pp. 331-344, 2006.
• Q. Guo, R. M. Hierons, M. Harman and K. Derderian, "Improving test quality using robust unique input/output circuit sequences (UIOCs)", Information and Software Technology, Vol. 48, No. 8, pp.696-707, 2006.
• Q. Guo, R. M. Hierons, M. Harman and K. Derderian, "Constructing multiple unique input/output sequences using metaheuristic optimisation techniques", IEE Proceedings - Software, Vol. 152, No. 3. pp. 127-140, June 2005.

• Q.Guo, J.Derrick,C.Benac-Earle and L.Fredlund,"Model-checking Erlang - A Comparison between Etomcrl2 and McErlang", Testing: Academic & Industrial Conference Practice and Research Techniques (TAIC PART 2010), in LNCS Vol. 6303, pp. 23-38, 2010.
• N.Walkinshaw, J.Derrick and Q.Guo,"Iterative Refinement of Reverse-Engineered Models by Model-Based Testing", the 16th Int. Symposium on Formal Methods, in LNCS Vol. 5850, pp.305-320, 2009. 
• Q.Guo, J.Derrick and N.Walkinshaw, "Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs", the 21th IFIP Int. Conference on Testing of Communicating System (TestCom), in LNCS Vol. 5826, 81-96, 2009.
• Q.Guo, J.Derrick and C.Hoch, "Verifying Erlang Telecommunication Systems with the Process Algebra muCRL", the 28th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE`08), in LNCS Vol. 5048, pp. 201-217, 2008.
• Q.Guo and J.Derrick, "Verification of Timed Erlang/OTP Components Using the Process Algebra muCRL", Sixth ACM SIGPLAN Erlang Workshop ,pp. 55-64, 2007.
• Q.Guo, "Verifying Erlang/OTP Components in muCRL", the 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE`07), in LNCS Vol. 4574, pp. 227-246, 2007.
• Q.Guo and J.Derrick, "Eliminating overlapping of pattern matching when verifying Erlang programs in muCRL",  the 12th International Eralng/OTP User Conference (EUC`06), 2006.
• K. Derderian, R. M. Hierons, M. Harman and Q. Guo, "Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms", AAAI Genetic and Evolutionary Computation Conference 2005 (GECCO 2005), pp. 1081-1081, 2005.
• K. Derderian, R. M. Hierons, M. Harman and Q. Guo, "Input sequence generation for testing of communicating finite state machines (CFSMs) using genetic algorithms", AAAI Genetic and Evolutionary Computation Conference 2004 (GECCO 2004), in LNCS Vol. 3103, pp. 1429-1430, 2004.
• Q. Guo, R. M. Hierons, M. Harman and K. Derderian, "Computing unique input/output sequences using genetic algorithms", the 3rd International Workshop on Formal Approaches to Testing of Software (FATES2003), in LNCS Vol. 2931, pp. 164-177, 2004.

• Qiang Guo, "Improving fault coverage and minimising the cost of fault identification when testing from finite state machines", PhD Thesis, Brunel University, 2005.
• Qiang Guo, "Route planning in a dynamic environment using multi-layer resistive grid network", MSc Dissertation, the University of Plymouth, 2002 (awarded a prize for the best presentation).

BCS, IEE, ACM, IEEE, ISEN, IEEE Computer Society

• IEEE Journals, Transactions and Letters
• IEEE Transactions on Software Engineering
• The Journal of Empirical Software Engineering
• The Journal of Software Maintenance and Evolution
• The Software Quality Journal
• The Journal of Software Test, Verification and Reliability
• IEE Proceedings - Software
• The Computer Journal
• Journal of Systems and Software
• Theoretical Computer Science
• Computer Networks
• Computer Communications

E-Map,  Street Map in UK

CSSA (Chinese Students and Scholars Association) - UK

Chinese Embassy in the United Kingdom

Education Section of Chinese Embassy in UK

Contents in this website simply show personal interests

and DO NOT reflect the position of the University of Sheffield!

Last updated: 08/10/2010