Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner. SEDGE: Symbolic example data generation for dataflow programs. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. pages 235-245, IEEE, 2013. [doi]
@inproceedings{LiRSDC13,
title = {SEDGE: Symbolic example data generation for dataflow programs},
author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner},
year = {2013},
doi = {10.1109/ASE.2013.6693083},
url = {http://dx.doi.org/10.1109/ASE.2013.6693083},
researchr = {https://researchr.org/publication/LiRSDC13},
cites = {0},
citedby = {0},
pages = {235-245},
booktitle = {2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013},
publisher = {IEEE},
}