External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

SEDGE: Symbolic example data generation for dataflow programs

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]

Authors

Kaituo Li

This author has not been identified. Look up 'Kaituo Li' in Google

Christoph Reichenbach

Identified as Christoph Reichenbach

Yannis Smaragdakis

This author has not been identified. It may be one of the following persons: Look up 'Yannis Smaragdakis' in Google

Yanlei Diao

This author has not been identified. Look up 'Yanlei Diao' in Google

Christoph Csallner

This author has not been identified. Look up 'Christoph Csallner' in Google
runs on