Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics-Reference-Cited by-同舟云学术

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Sun Wei¹,Xu Lisong¹,Elbaum Sebastian¹

Affiliation:

1. University of Nebraska-Lincoln, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference62 articles.

1. H. P. Anvin. TFTP HPA. https://www.kernel.org/pub/software/network/tftp/tftp-hpa/. H. P. Anvin. TFTP HPA. https://www.kernel.org/pub/software/network/tftp/tftp-hpa/.

2. Enhancing symbolic execution with veritesting

3. Statically-directed dynamic automated test generation

4. Engineering with logic

5. Protocol testing

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution;2023 IEEE/ACM International Conference on Automation of Software Test (AST);2023-05

2. Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations;ACM Transactions on Modeling and Computer Simulation;2022-03-04

3. Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP Implementations;IEEE/ACM Transactions on Networking;2021-10

4. Toward formally verifying congestion control behavior;Proceedings of the 2021 ACM SIGCOMM 2021 Conference;2021-08-09

5. Model-based testing of networked applications;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11