6 citations · 6 across the 2 of their papers we have counts for
4 papers
Deep State Inference: Toward Behavioral Model Inference of Black-box Software Systems
Foozhan Ataiefard, Mohammad Jafar Mashhadi, Hadi Hemmati +1
Many software engineering tasks, such as testing, and anomaly detection can benefit from the ability to infer a behavioral model of the software.Most existing inference approaches…
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Mohammad Jafar Mashhadi, Hadi Hemmati
Inferring behavior model of a running software system is quite useful for several automated software engineering tasks, such as program comprehension, anomaly detection, and testin…
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…