Automated test case generation from domain specific models of high-level requirements. - Oyindamola Olajubu; Suraj Ajit; Mark Johnson; Scott J. Turner; Scott Thomson; Mark Edwards (RACS, 2015)

Automated test case generation from high-level logic requirements using model transformation techniques. - Oyindamola Olajubu; Suraj Ajit; Mark Johnson; Scott Thomson; Mark Edwards; Scott J. Turner (CEEC, 2017)

Commensurability and Arithmetic Equivalence for Orthogonal Hypergeometric Monodromy Groups. - Jitendra Bajpai; Sandip Singh; Scott Thomson (Exp. Math., 2020)