Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. - Bo Guo 004; Mahadevan Subramaniam (SEFM, 2008)

Pseudo gradient search for solving nonlinear multiregression based on the Choquet integral. - Bo Guo 004; Wei Chen; Zhenyuan Wang (GrC, 2009)

An Approach for Test Selection for EFSMs Using a Theorem Prover. - Mahadevan Subramaniam; Ling Xiao; Bo Guo 004; Zoltán Pap (TestCom/FATES, 2009)

Using Change Impact Analysis to Select Tests for Extended Finite State Machines. - Mahadevan Subramaniam; Bo Guo 004; Zoltán Pap (SEFM, 2009)

Identification of monotone measures using genetic algorithms. - Bo Guo 004 (IRI, 2010)

An Approach to Regression Test Selection of Adaptive EFSM Tests. - Bo Guo 004; Mahadevan Subramaniam; Hai-Feng Guo (TASE, 2011)

Analysis of Test Clusters for Regression Testing. - Bo Guo 004; Mahadevan Subramaniam; Parvathi Chundi (ICST, 2012)

On pseudo gradient search for solving nonlinear multiregression with the Choquet integral. - Bo Guo 004; Li Zhang-Westman; Zhenyuan Wang (IFSA/NAFIPS, 2013)

Interactively Decomposing Composite Changes to Support Code Review and Regression Testing. - Bo Guo 004; Myoungkyu Song (COMPSAC (1), 2017)

Decomposing Composite Changes for Code Review and Regression Test Selection in Evolving Software. - Bo Guo 004; Young-Woo Kwon 001; Myoungkyu Song (J. Comput. Sci. Technol., 2019)