19 citations · 57 across the 17 of their papers we have counts for
4 papers · 1 filter
An IR-based Approach Towards Automated Integration of Geo-spatial Datasets in Map-based Software Systems
Nima Miryeganeh, Mehdi Amoui, Hadi Hemmati
Data is arguably the most valuable asset of the modern world. In this era, the success of any data-intensive solution relies on the quality of data that drives it. Among vast amoun…
Revisiting Hyper-Parameter Tuning for Search-based Test Data Generation
Shayan Zamani, Hadi Hemmati
Search-based software testing (SBST) has been studied a lot in the literature, lately. Since, in theory, the performance of meta-heuristic search methods are highly dependent on th…
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…
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…