Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations. - Jianfei Shao; Minh Vu; Mingrui Zhang; Asmita Jayswal; Lisong Xu (WNS3, 2022)