Qiang Guo

According to our database, Qiang Guo authored at least 16 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Formally based tool support for model checking Erlang applications.

Qiang Guo, John Derrick

Int. J. Softw. Tools Technol. Transf., 2011

2010

Estimating the feasibility of transition paths in extended finite state machines.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Autom. Softw. Eng., 2010

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.

Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Testing, 2010

2009

Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.

Qiang Guo, John Derrick, Neil Walkinshaw

Proceedings of the Testing of Software and Communication Systems, 2009

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.

Neil Walkinshaw, John Derrick, Qiang Guo

Proceedings of the FM 2009: Formal Methods, 2009

2008

Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.

Qiang Guo, John Derrick, Csaba Hoch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Heuristics for fault diagnosis when testing from finite state machines.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Softw. Test. Verification Reliab., 2007

Verifying Erlang/OTP Components in <i>mu</i> CRL.

Qiang Guo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Verification of timed Erlang/OTP components using the process algebra mucrl.

Qiang Guo, John Derrick

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

2006

Improving fault coverage and minimising the cost of fault identification when testing from finite state machines.

Qiang Guo

PhD thesis, 2006

Improving test quality using robust unique input/output circuit sequences (UIOCs).

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Inf. Softw. Technol., 2006

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Comput. J., 2006

2005

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

IEE Proc. Softw., 2005

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

2004

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).

Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo

Proceedings of the Genetic and Evolutionary Computation, 2004

2003

Computing Unique Input/Output Sequences Using Genetic Algorithms.

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Proceedings of the Formal Approaches to Software Testing, 2003