Interactive Semi-automated Specification Mining for Debugging: An Experience Report

Mohammad Jafar Mashhadi, Taha R. Siddiqui, Hadi Hemmati +1

Context: Specification mining techniques are typically used to extract the specification of a software in the absence of (up-to-date) specification documents. This is useful for pr…