@inproceedings{LiReichenbachSmaragdakisetal.2017,
  author    = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner},
  title     = {SEDGE : symbolic example data generation for dataflow programs},
  editor    = {Ewen Denney and Tevfik Bultan and Andreas Zeller},
  url       = {https://zenodo.org/record/7730/files/sedge-ase13.pdf},
  year      = {2017},
}