Towards Automatic Regression Test Selection for Web Services. - Michael Ruth; Sehun Oh; Adam Loup; Brian Horton; Olin Gallet; Marcel Mata; Shengru Tu (COMPSAC (2), 2007)

Developing verification-driven learning cases. - Shengru Tu; Sehun James Oh; Rushikesh Kale; Aditya Kallem; Shireesha Tankashala (ITiCSE, 2010)

Turning real-world systems into verification-driven learning cases. - Shengru Tu; Shireesha Tankashala; Sehun Oh; Brian Becker; Brian Horton; Aditya Kallem; Zhao Yang (CSEE&T, 2011)