%0 Conference Paper %1 conf/kbse/LiRSDC13 %A Li, Kaituo %A Reichenbach, Christoph %A Smaragdakis, Yannis %A Diao, Yanlei %A Csallner, Christoph %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K dblp %P 235-245 %T SEDGE: Symbolic example data generation for dataflow programs. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#LiRSDC13

@inproceedings{conf/kbse/LiRSDC13, added-at = {2014-01-16T00:00:00.000+0100}, author = {Li, Kaituo and Reichenbach, Christoph and Smaragdakis, Yannis and Diao, Yanlei and Csallner, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e706f924e41a56c3df56c7ab5f25bf82/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {http://dx.doi.org/10.1109/ASE.2013.6693083}, interhash = {5cd707a1ca2f151e77afadc31ab4b07d}, intrahash = {e706f924e41a56c3df56c7ab5f25bf82}, keywords = {dblp}, pages = {235-245}, publisher = {IEEE}, timestamp = {2016-02-02T13:12:48.000+0100}, title = {SEDGE: Symbolic example data generation for dataflow programs.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#LiRSDC13}, year = 2013 }