1 paper · 1 filter
Iman Saberi, Fathiyeh Faghih, Farzad Sobhi Bavil
Specification synthesis is the process of deriving a model from the input-output traces of a system. It is used extensively in test design, reverse engineering, and system identifi…