Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations-Reference-Cited by-同舟云学术

Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations

Published:2022-06-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the WNS3 2022
language:
Short-container-title:

Author:

Shao Jianfei¹,Vu Minh¹,Zhang Mingrui¹,Jayswal Asmita¹,Xu Lisong²

Affiliation:

1. School of Computing, University of Nebraska-Lincoln, USA

2. University of Nebraska-Lincoln, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3532577.3532604

Reference21 articles.

1. Fabrice Bellard . 2005 . QEMU, a Fast and Portable Dynamic Translator . In Proceedings of USENIX ATC . Anaheim, CA. Fabrice Bellard. 2005. QEMU, a Fast and Portable Dynamic Translator. In Proceedings of USENIX ATC. Anaheim, CA.

2. Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of USENIX OSDI . San Diego, CA. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of USENIX OSDI. San Diego, CA.

3. Symbolic execution for software testing

4. Marco Canini , Vojin Jovanović , Daniele Venzano , Boris Spasojević , Olivier Crameri , and Dejan Kostić . 2011 . Toward Online Testing of Federated and Heterogeneous Distributed Systems . In Proceedings of USENIX ATC. Marco Canini, Vojin Jovanović, Daniele Venzano, Boris Spasojević, Olivier Crameri, and Dejan Kostić. 2011. Toward Online Testing of Federated and Heterogeneous Distributed Systems. In Proceedings of USENIX ATC.

5. Marco Canini , Daniele Venzano , Peter Perešíni , Dejan Kostić , and Jennifer Rexford . 2012 . A NICE Way to Test OpenFlow Applications . In Proceedings of USENIX NSDI . San Jose, CA. Marco Canini, Daniele Venzano, Peter Perešíni, Dejan Kostić, and Jennifer Rexford. 2012. A NICE Way to Test OpenFlow Applications. In Proceedings of USENIX NSDI. San Jose, CA.