Travelled to:1 × Canada
1 × China
2 × The Netherlands
Collaborated with:N.Walkinshaw J.Derrick Y.Liu R.M.Hierons M.Harman K.Derderian
Talks about:model (2) transform (1) astronaut (1) algorithm (1) structur (1) testabl (1) sequenc (1) program (1) coverag (1) revers (1)
Person: Qiang Guo
DBLP: Guo:Qiang
Contributed to:
2009
2009
20072003Wrote 4 papers:
- FM-2009-WalkinshawDG #modelling #refinement #testing
- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing (NW, JD, QG), pp. 305–320.
- TestCom-FATES-2009-GuoDW #erlang #source code #testing
- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
- DHM-2007-GuoL #simulation
- Hand Grasping Motion Simulation for Astronauts Training (QG, YL), pp. 101–109.
- FATES-2003-GuoHHD #algorithm #search-based #sequence #using
- Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.