Yavuz Köroglu, Alper Sen: Design of a Modified Concolic Testing Algorithm with Smaller Constraints. CSTVA@ISSTA 2016: 3-14