XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions.

Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi

Browse the full ICST paper archive.