Qiang Guo
Qiang Guo
Потвърден имейл адрес: cl.cam.ac.uk
Заглавие
Позовавания
Позовавания
Година
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
912006
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
632003
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
502005
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, 2010
452010
Iterative refinement of reverse-engineered models by model-based testing
N Walkinshaw, J Derrick, Q Guo
International Symposium on Formal Methods, 305-320, 2009
452009
Identifying passenger flow characteristics and evaluating travel time reliability by visualizing AFC data: a case study of Shanghai Metro
Y Sun, J Shi, PM Schonfeld
Public Transport 8 (3), 341-363, 2016
332016
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
302005
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
192007
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
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
82010
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
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
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
22011
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–20