| Automated unique input output sequence generation for conformance testing of FSMs K Derderian, RM Hierons, M Harman, Q Guo The Computer Journal 49 (3), 331-344, 2006 | 93 | 2006 |
| Computing unique input/output sequences using genetic algorithms Q Guo, RM Hierons, M Harman, K Derderian International Workshop on Formal Approaches to Software Testing, 164-177, 2003 | 64 | 2003 |
| Constructing multiple unique input/output sequences using metaheuristic optimisation techniques Q Guo, RM Hierons, M Harman, K Derderian IEE Proceedings-Software 152 (3), 127-140, 2005 | 49 | 2005 |
| Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo International Symposium on Formal Methods, 305-320, 2009 | 47 | 2009 |
| Estimating the feasibility of transition paths in extended finite state machines K Derderian, RM Hierons, M Harman, Q Guo Automated Software Engineering 17 (1), 33-56, 2010 | 46 | 2010 |
| Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms K Derderian, RM Hierons, M Harman, Q Guo Proceedings of the 7th annual conference on Genetic and evolutionary …, 2005 | 31 | 2005 |
| Input sequence generation for testing of communicating finite state machines (CFSMs) K Derderian, RM Hierons, M Harman, Q Guo Genetic and Evolutionary Computation Conference, 1429-1430, 2004 | 21 | 2004 |
| Heuristics for fault diagnosis when testing from finite state machines Q Guo, RM Hierons, M Harman, K Derderian Software Testing, Verification and Reliability 17 (1), 41-57, 2007 | 18 | 2007 |
| Improving test quality using robust unique input/output circuit sequences (UIOCs) Q Guo, RM Hierons, M Harman, K Derderian Information and Software Technology 48 (8), 696-707, 2006 | 13 | 2006 |
| Model-checking Erlang–a comparison between EtomCRL2 and McErlang Q Guo, J Derrick, CB Earle, LĹ Fredlund International Academic and Industrial Conference on Practice and Research …, 2010 | 9 | 2010 |
| Verifying Erlang Telecommunication Systems with the Process Algebra μCRL Q Guo, J Derrick, C Hoch International Conference on Formal Techniques for Networked and Distributed …, 2008 | 7 | 2008 |
| Verification of timed Erlang/OTP components using the process algebra μCRL Q Guo, J Derrick Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 55-64, 2007 | 7 | 2007 |
| Verifying Erlang/OTP components in μCRL Q Guo International Conference on Formal Techniques for Networked and Distributed …, 2007 | 7 | 2007 |
| Eliminating overlapping of pattern matching when verifying Erlang programs in µCRL Q Guo, J Derrick 12th International Erlang User Conference (EUC’06), Stockholm, Sweden, 2006 | 7 | 2006 |
| Web data knowledge extraction JM Tirado, O Serban, Q Guo, E Yoneki arXiv preprint arXiv:1603.07534, 2016 | 5 | 2016 |
| Formally based tool support for model checking Erlang applications Q Guo, J Derrick International journal on software tools for technology transfer 13 (4), 355-376, 2011 | 3 | 2011 |
| Improving fault coverage and minimising the cost of fault identification when testing from finite state machines Q Guo Brunel University, School of Information Systems, Computing and Mathematics …, 2006 | 3 | 2006 |
| Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs Q Guo, J Derrick, N Walkinshaw Testing of Software and Communication Systems, 81-96, 2009 | 2 | 2009 |
| Computing UIO Sequences using Parallel GAs⋆ Q Guo, J McCall, H González-Vélez PPSN, 1-4, 2012 | | 2012 |
