“…We do not distinguish these names, sometimes we use them interchangeably, and here we just use the term model learning or learning model instead. Similarly, the learning specification problems also have different names under research, typically are specification mining [38]- [43], specification inference [44], requirements mining [45], mining properties [46], learning logic formulae [47], learning specifications [48], [49], learning properties [50], [51], etc. Here we use the term learning specification (or specification learning) in analogy with learning model (or model learning).…”