| 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 | 105 | 2006 |
| Computing unique input/output sequences using genetic algorithms Q Guo, RM Hierons, M Harman, K Derderian Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 71 | 2004 |
| Iterative refinement of reverse-engineered models by model-based testing N Walkinshaw, J Derrick, Q Guo FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 63 | 2009 |
| Estimating the feasibility of transition paths in extended finite state machines K Derderian, RM Hierons, M Harman, Q Guo Automated Software Engineering 17, 33-56, 2010 | 57 | 2010 |
| 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 | 48 | 2005 |
| 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 | 30 | 2005 |
| Input sequence generation for testing of communicating finite state machines (CFSMs) K Derderian, RM Hierons, M Harman, Q Guo Genetic and Evolutionary Computation–GECCO 2004: Genetic and Evolutionary …, 2004 | 22 | 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 | 20 | 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 | 16 | 2006 |
| Model-checking Erlang–a comparison between EtomCRL2 and McErlang Q Guo, J Derrick, C Benac Earle, LÅ Fredlund Testing–Practice and Research Techniques: 5th International Academic and …, 2010 | 11 | 2010 |
| Web data knowledge extraction JM Tirado, O Serban, Q Guo, E Yoneki arXiv preprint arXiv:1603.07534, 2016 | 7 | 2016 |
| Verifying Erlang Telecommunication Systems with the Process Algebra μCRL Q Guo, J Derrick, C Hoch Formal Techniques for Networked and Distributed Systems–FORTE 2008: 28th …, 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 Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 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 | 6 | 2006 |
| 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 | 4 | 2006 |
| Formally based tool support for model checking Erlang applications Q Guo, J Derrick International journal on software tools for technology transfer 13, 355-376, 2011 | 3 | 2011 |
| Applying testability transformations to achieve structural coverage of Erlang programs Q Guo, J Derrick, N Walkinshaw International Workshop on Formal Approaches to Software Testing, 81-96, 2009 | 3 | 2009 |
| Computing UIO Sequences using Parallel GAs Q Guo, J McCall, H González-Vélez PPSN, 1-4, 2012 | | 2012 |
| Verifying Erlang/OTP Components in mCRL Q Guo Lecture Notes in Computer Science 4574, 227-246, 2007 | | 2007 |