Gnesi, S.S.GnesiMargaria, T.T.MargariaSchieferdecker, I.I.SchieferdeckerVouffo Feudjio, A.-G.A.-G.Vouffo Feudjio2022-03-042022-03-042012https://publica.fraunhofer.de/handle/publica/23106410.1002/9781118459898.ch10entesting/model learningtest cases and test verdictsTTCN-3 semanticsOSA/parlay services and IMS testing004The testing and test control notation TTCN-3 and its usebook article