Testing properties of dataflow program operatorsZhihong XuMartin Hirzelet al.2013ASE 2013Conference paper