6 citations · 6 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 6 cited
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…
cs.SE2019
An Empirical Study on Practicality of Specification Mining Algorithms on a Real-world Application
Mohammad Jafar Mashhadi, Hadi Hemmati
Dynamic model inference techniques have been the center of many research projects recently. There are now multiple open source implementations of state-of-the-art algorithms, which…