Test Case Selection Based on Path Condtions of Symbolic Execution.

Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara

Browse the full APSEC paper archive.