Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas. Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. In Proceedings of the 19th International Conference on Availability, Reliability and Security, ARES 2024, Vienna, Austria, 30 July 2024 - 2 August 2024. ACM, 2024. [doi]
Abstract is missing.