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]
@inproceedings{BombardaBGRDL19,
title = {Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines},
author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini and Marco Radavelli and Feng Duan and Yu Lei},
year = {2019},
doi = {10.1007/978-3-030-31280-0_5},
url = {https://doi.org/10.1007/978-3-030-31280-0_5},
researchr = {https://researchr.org/publication/BombardaBGRDL19},
cites = {0},
citedby = {0},
pages = {67-85},
booktitle = {Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings},
editor = {Christophe Gaston and Nikolai Kosmatov and Pascale Le Gall},
volume = {11812},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-31280-0},
}