Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
SEDGE: Symbolic example data generation for dataflow programs
ASE, 2013.
@inproceedings{ASE-2013-LiRSDC,
author = "Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693083",
pages = "235--245",
publisher = "{IEEE}",
title = "{SEDGE: Symbolic example data generation for dataflow programs}",
year = 2013,
}