Author:
Petersen Erick,López Jorge,Kushik Natalia,Labonne Maxime,Poletti Claude,Zeghlache Djamal
Publisher
Springer Nature Switzerland
Reference35 articles.
1. Alsmadi, I., Zarrad, A., Yassine, A.: Mutation testing to validate networks protocols. In: 2020 IEEE International Systems Conference (SysCon), pp. 1–8. IEEE, Montreal, QC, Canada (2020). https://doi.org/10.1109/SysCon47679.2020.9275875
2. Barrett, C., Stump, A., Tinelli, C.: The satisfiability modulo theories library (smt-lib). SMT-LIB.org (2010)
3. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11
4. Chan, M.C., Chen, C., Huang, J.X., Kuo, T., Yen, L.H., Tseng, C.C.: Opennet: A simulator for software-defined wireless local area network. In: 2014 IEEE Wireless Communications and Networking Conference (WCNC), pp. 3332–3336. IEEE (2014)
5. Lecture Notes in Computer Science;L de Moura,2008