Alessandro Marchetto, Duy Cu Nguyen, Paolo Tonella. Automated Detection of Discontinuities in Models Inferred from Execution Traces. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 286-293, IEEE Computer Society, 2011. [doi]
Abstract is missing.