Test case generation for ATM protocols using high-level Petri net models

Bechtold, R.R.BechtoldGattung, G.G.GattungHenniger, O.O.HennigerPaule, C.C.Paule2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327476entestingpetri netsformal modelprotocol005004Test case generation for ATM protocols using high-level Petri net modelsconference paper