SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.

Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh

Browse the full ICSE paper archive.