Design of a Modified Concolic Testing Algorithm with Smaller Constraints.

Yavuz Kroglu, Alper Sen

Browse the full ISSTA paper archive.