Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.

Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman

Browse the full ICST paper archive.