6 papers:
SAC-2015-CarlucciCM- HTTP over UDP: an experimental investigation of QUIC (GC, LDC, SM), pp. 609–614.
ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing- Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
HILT-2014-RathjeR #framework #java #model checking #network #source code- A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
SAC-2008-SalesAP #network #on the #performance- On the performance of TCP, UDP and DCCP over 802.11 g networks (LMdS, HOdA, AP), pp. 2074–2078.
ESOP-2002-WansbroughNSS #semantics #thread- Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
HPDC-1994-ChangFFGHNRSW #network- High-Performance TCP/IP and UDP/IP Networking in DEC OSF/1 for Alpha AXP (CHC, RF, JF, HG, WRH, APN, KKR, UNS, KMW), pp. 35–42.