Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. In Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Volume 11812 of Lecture Notes in Computer Science, pages 67-85, Springer, 2019. [doi]
Abstract is missing.