A Program Simplification Method for Generating Test Input Values Using Symbolic Execution.

Ryo Soga, Tetsuya Yonemitsu, Mitsuo Inagaki, Yasushi Fujisaki, Hiroo Sugou, Hideyuki Kanuka

Browse the full APSEC paper archive.