Qiang Guo

16 papers A 1B 1C 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2011 J jnl
Formally based tool support for model checking Erlang applications.
Int. J. Softw. Tools Technol. Transf.
Qiang Guo, John Derrick
2010 J jnl
Estimating the feasibility of transition paths in extended finite state machines.
Autom. Softw. Eng.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2010 — conf
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.
TAIC PART
Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
2009 — conf
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.
TestCom/FATES
Qiang Guo, John Derrick, Neil Walkinshaw
2009 B conf
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.
FM
Neil Walkinshaw, John Derrick, Qiang Guo
2008 C conf
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.
FORTE
Qiang Guo, John Derrick, Csaba Hoch
2007 J jnl
Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test. Verification Reliab.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2007 — conf
Verification of timed Erlang/OTP components using the process algebra mucrl.
Erlang Workshop
Qiang Guo, John Derrick
2007 C conf
Verifying Erlang/OTP Components in
FORTE
Qiang Guo
2006 J jnl
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J.
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2006 — —
Improving fault coverage and minimising the cost of fault identification when testing from finite state machines.
Qiang Guo
2006 J jnl
Improving test quality using robust unique input/output circuit sequences (UIOCs).
Inf. Softw. Technol.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2005 J jnl
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.
IEE Proc. Softw.
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
2005 A conf
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
GECCO
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2004 — conf
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
GECCO (2)
Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
2003 — conf
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES
Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian