Automated Detection of Discontinuities in Models Inferred from Execution Traces.

Alessandro Marchetto, Duy Cu Nguyen, Paolo Tonella

Browse the full ICST paper archive.