BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guo:Bo

Contributed to:

ICST 20122012
SEFM 20092009
TestCom/FATES 20092009
SEFM 20082008

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.