`Travelled to:`

1 × Canada

1 × South Africa

1 × The Netherlands

1 × Vietnam

`Collaborated with:`

M.Subramaniam Z.Pap P.Chundi L.Xiao

`Talks about:`

test (4) use (3) theorem (2) analysi (2) select (2) prover (2) machin (2) impact (2) extend (2) state (2)

## Person: Bo Guo

### DBLP: Guo:Bo

### Contributed to:

### Wrote 4 papers:

- ICST-2012-GuoSC #analysis #clustering #testing
- Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.
- SEFM-2009-SubramaniamGP #finite #impact analysis #state machine #testing #using
- Using Change Impact Analysis to Select Tests for Extended Finite State Machines (MS, BG, ZP), pp. 93–102.
- TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using
- An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.
- SEFM-2008-GuoS #finite #impact analysis #proving #state machine #theorem proving #using
- Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover (BG, MS), pp. 335–344.