Qiang Guo
Заглавие
Позовавания
Позовавания
Година
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
942006
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
642003
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
492010
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
492005
Iterative refinement of reverse-engineered models by model-based testing
N Walkinshaw, J Derrick, Q Guo
International Symposium on Formal Methods, 305-320, 2009
482009
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
312005
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
212004
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
132006
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
92010
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
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
International Conference on Formal Techniques for Networked and Distributed …, 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
72006
Web data knowledge extraction
JM Tirado, O Serban, Q Guo, E Yoneki
arXiv preprint arXiv:1603.07534, 2016
52016
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
32011
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
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
22009
Computing UIO Sequences using Parallel GAs⋆
Q Guo, J McCall, H González-Vélez
PPSN, 1-4, 2012
2012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–19