Sign in

DiffStream: differential output testing for stream processing programs.

Konstantinos KallasFilip NiksicCaleb StanfordRajeev Alur
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases