Follow
Qiang Guo
Title
Cited by
Cited by
Year
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
1042006
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
682004
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
622009
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
572010
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
472005
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
292005
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
222004
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
182007
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
152006
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
112010
Web data knowledge extraction
JM Tirado, O Serban, Q Guo, E Yoneki
arXiv preprint arXiv:1603.07534, 2016
72016
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
72008
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
72007
Verifying Erlang/OTP Components in ìCRL
Q Guo
Formal Techniques for Networked and Distributed Systems–FORTE 2007: 27th …, 2007
72007
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
62006
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
32011
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
32009
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
32006
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
The system can't perform the operation now. Try again later.
Articles 1–20