Model-based test case generation using symbolic execution.

Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara

Browse the full ISSTA paper archive.