A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application.

Hiroki Ohbayashi, Hideyuki Kanuka, Chikashi Okamoto

Browse the full APSEC paper archive.