Segal, Loren J. (2012) Automatic Program Verification and Test Case Generation of Ruby Programs. Masters thesis, Concordia University.