%0 Conference Paper %1 conf/icst/AsadianFJS22 %A Asadian, Hooman %A Fiterau-Brostean, Paul %A Jonsson, Bengt %A Sagonas, Konstantinos %B ICST %D 2022 %I IEEE %K dblp %P 70-81 %T Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. %U http://dblp.uni-trier.de/db/conf/icst/icst2022.html#AsadianFJS22 %@ 978-1-6654-6679-0

@inproceedings{conf/icst/AsadianFJS22, added-at = {2022-06-13T00:00:00.000+0200}, author = {Asadian, Hooman and Fiterau-Brostean, Paul and Jonsson, Bengt and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2bb6e3da67f6b3c4dad845ff51131b99f/dblp}, booktitle = {ICST}, crossref = {conf/icst/2022}, ee = {https://doi.org/10.1109/ICST53961.2022.00019}, interhash = {297648c7fe937909a8bd455024e5da0d}, intrahash = {bb6e3da67f6b3c4dad845ff51131b99f}, isbn = {978-1-6654-6679-0}, keywords = {dblp}, pages = {70-81}, publisher = {IEEE}, timestamp = {2024-04-09T14:43:39.000+0200}, title = {Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2022.html#AsadianFJS22}, year = 2022 }