State machine inference of QUIC. - Abdullah Rasool; Greg Alpár; Joeri de Ruiter (CoRR, 2019)