강정석, 박홍성, “Automatic generation algorithm of expected results for testing of component-based software system,” Information and Software Technology, 2015.1, p.1-20