Publications

Testing properties of dataflow program operators

• • Zhihong Xu
  • Martin Hirzel
  • et al.
• 2013
• ASE 2013