{"id":"https://openalex.org/W2048527348","doi":"https://doi.org/10.1109/ase.2013.6693083","title":"SEDGE: Symbolic example data generation for dataflow programs","display_name":"SEDGE: Symbolic example data generation for dataflow programs","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2048527348","doi":"https://doi.org/10.1109/ase.2013.6693083","mag":"2048527348"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2013.6693083","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693083","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7730","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077256525","display_name":"Kaituo Li","orcid":null},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaituo Li","raw_affiliation_strings":["Computer Science Department, University of Massachusetts, Amherst, USA","Computer Science Department, University of Massachusetts, Amherst, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Massachusetts, Amherst, USA","institution_ids":["https://openalex.org/I24603500"]},{"raw_affiliation_string":"Computer Science Department, University of Massachusetts, Amherst, MA, USA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019910161","display_name":"Christoph Reichenbach","orcid":"https://orcid.org/0000-0003-0608-7023"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Reichenbach","raw_affiliation_strings":["Institute of Informatics, Goethe University, Frankfurt, Germany","Inst. of Inf., Goethe Univ. Frankfurt, Frankfurt am Main, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, Goethe University, Frankfurt, Germany","institution_ids":["https://openalex.org/I114090438"]},{"raw_affiliation_string":"Inst. of Inf., Goethe Univ. Frankfurt, Frankfurt am Main, Germany","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043949214","display_name":"Yannis Smaragdakis","orcid":"https://orcid.org/0000-0002-0499-0182"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Yannis Smaragdakis","raw_affiliation_strings":["Department of Informatics, University of Athens, Greece","Dept. of Inf., Univ. of Athens, Athens, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Athens, Greece","institution_ids":["https://openalex.org/I200777214"]},{"raw_affiliation_string":"Dept. of Inf., Univ. of Athens, Athens, Greece","institution_ids":["https://openalex.org/I200777214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109548832","display_name":"Yanlei Diao","orcid":"https://orcid.org/0009-0000-7793-9671"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yanlei Diao","raw_affiliation_strings":["Computer Science Department, University of Massachusetts, Amherst, USA","Computer Science Department, University of Massachusetts, Amherst, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Massachusetts, Amherst, USA","institution_ids":["https://openalex.org/I24603500"]},{"raw_affiliation_string":"Computer Science Department, University of Massachusetts, Amherst, MA, USA","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079825775","display_name":"Christoph Csallner","orcid":"https://orcid.org/0000-0003-0896-6902"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoph Csallner","raw_affiliation_strings":["Computer Science and Engineering, University of Texas at Arlington, USA","Comput. Sci. & Eng., Univ. of Texas at Arlington, Arlington, TX, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of Texas at Arlington, USA","institution_ids":["https://openalex.org/I189196454"]},{"raw_affiliation_string":"Comput. Sci. & Eng., Univ. of Texas at Arlington, Arlington, TX, USA#TAB#","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6785,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.62921914,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"245"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9718691110610962},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8828278183937073},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.7874940633773804},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.7004566192626953},{"id":"https://openalex.org/keywords/dataflow-architecture","display_name":"Dataflow architecture","score":0.6333586573600769},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5903200507164001},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.515063464641571},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.462459534406662},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4368012845516205},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36101269721984863},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11732655763626099}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9718691110610962},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8828278183937073},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.7874940633773804},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.7004566192626953},{"id":"https://openalex.org/C176727019","wikidata":"https://www.wikidata.org/wiki/Q1172415","display_name":"Dataflow architecture","level":3,"score":0.6333586573600769},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5903200507164001},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.515063464641571},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.462459534406662},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4368012845516205},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36101269721984863},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11732655763626099},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1109/ase.2013.6693083","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693083","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.386.2164","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.2164","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ranger.uta.edu/~csallner/papers/li13sedge.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.650.1120","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.1120","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.cs.umass.edu/~kaituo/sedge-ase13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.709.3814","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.709.3814","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ranger.uta.edu/%7Ecsallner/papers/li13sedge.pdf","raw_type":"text"},{"id":"pmh:oai:lup.lub.lu.se:90e0c5d7-053d-46f3-bb75-8f8fd266687c","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/90e0c5d7-053d-46f3-bb75-8f8fd266687c","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"pmh:oai:openaire.cern.ch:11156","is_oa":true,"landing_page_url":"https://zenodo.org/record/7730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferencePaper"},{"id":"pmh:oai:publikationen.ub.uni-frankfurt.de:43895","is_oa":false,"landing_page_url":"http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/43895","pdf_url":null,"source":{"id":"https://openalex.org/S4306400432","display_name":"Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114090438","host_organization_name":"Goethe University Frankfurt","host_organization_lineage":["https://openalex.org/I114090438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conferenceobject"}],"best_oa_location":{"id":"pmh:oai:openaire.cern.ch:11156","is_oa":true,"landing_page_url":"https://zenodo.org/record/7730","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1499965119","https://openalex.org/W1518498967","https://openalex.org/W1542298067","https://openalex.org/W1548806133","https://openalex.org/W1560840983","https://openalex.org/W1582686279","https://openalex.org/W1741528175","https://openalex.org/W1974157571","https://openalex.org/W1974404008","https://openalex.org/W1999990426","https://openalex.org/W2017995536","https://openalex.org/W2022431239","https://openalex.org/W2054309922","https://openalex.org/W2096449544","https://openalex.org/W2098935637","https://openalex.org/W2100830825","https://openalex.org/W2110086534","https://openalex.org/W2110311336","https://openalex.org/W2113531724","https://openalex.org/W2117058582","https://openalex.org/W2126354234","https://openalex.org/W2137351629","https://openalex.org/W2144319429","https://openalex.org/W2155890312","https://openalex.org/W2164636932","https://openalex.org/W2168909041","https://openalex.org/W2169724035","https://openalex.org/W4237492309","https://openalex.org/W4239146630","https://openalex.org/W6631208438","https://openalex.org/W6632310466","https://openalex.org/W6632680784","https://openalex.org/W6637675132","https://openalex.org/W6676613598"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W2564598376","https://openalex.org/W1484403103","https://openalex.org/W2584408851","https://openalex.org/W2115158825","https://openalex.org/W2101960124","https://openalex.org/W4377693460","https://openalex.org/W34311366","https://openalex.org/W2783505431","https://openalex.org/W2048527348"],"abstract_inverted_index":{"Exhaustive,":[0],"automatic":[1],"testing":[2],"of":[3,47,137,154,161,172,181,197,203],"dataflow":[4,64,78,139,184,206],"(esp.":[5],"mapreduce)":[6],"programs":[7],"has":[8],"emerged":[9],"as":[10,113],"an":[11],"important":[12],"challenge.":[13],"Past":[14],"work":[15],"demonstrated":[16],"effective":[17],"ways":[18],"to":[19,33,43,70,133],"generate":[20,34],"small":[21],"example":[22],"data":[23,68,112],"sets":[24],"that":[25,74,178],"exercise":[26],"operators":[27],"in":[28,50,76,116,127],"the":[29,77,91,98,117,134,138,170,173,182,195,198,204],"Pig":[30],"platform,":[31],"used":[32],"Hadoop":[35],"map-reduce":[36,200],"programs.":[37],"Although":[38],"such":[39],"prior":[40],"techniques":[41,150],"attempt":[42],"cover":[44,71],"all":[45,72],"cases":[46,73,212],"operator":[48],"use,":[49],"practice":[51],"they":[52],"often":[53],"fail.":[54],"Our":[55],"SEDGE":[56,87,144],"system":[57],"addresses":[58],"these":[59],"completeness":[60],"problems:":[61],"for":[62,151,169,188],"every":[63],"operator,":[65],"we":[66],"produce":[67],"aiming":[69],"arise":[75],"program":[79,92],"(e.g.,":[80],"both":[81],"passing":[82],"and":[83,96,158,165],"failing":[84],"a":[85,101,128],"filter).":[86],"relies":[88],"on":[89],"transforming":[90],"into":[93],"symbolic":[94,102],"constraints,":[95],"solving":[97],"constraints":[99],"using":[100,110],"reasoning":[103],"engine":[104],"(a":[105],"powerful":[106],"SMT":[107],"solver),":[108],"while":[109],"input":[111],"concrete":[114],"aids":[115],"solution":[118],"process.":[119],"The":[120],"approach":[121],"resembles":[122],"dynamic-symbolic":[123,192],"(a.k.a.":[124],"\u201cconcolic\u201d)":[125],"execution":[126,193],"conventional":[129],"programming":[130],"language,":[131],"adapted":[132],"unique":[135],"features":[136],"domain.":[140],"In":[141],"third-party":[142],"benchmarks,":[143],"achieves":[145,214],"higher":[146],"coverage":[147,168,217],"than":[148,218],"past":[149],"5":[152],"out":[153,160],"20":[155],"PigMix":[156],"benchmarks":[157,164],"7":[159],"11":[162],"SDSS":[163],"(with":[166],"equal":[167],"rest":[171],"benchmarks).":[174],"We":[175],"also":[176],"show":[177],"our":[179,219],"targeting":[180],"high-level":[183],"language":[185],"pays":[186],"off:":[187],"complex":[189],"programs,":[190],"state-of-the-art":[191],"at":[194],"level":[196],"generated":[199],"code":[201],"(instead":[202],"original":[205],"program)":[207],"requires":[208],"many":[209],"more":[210],"test":[211],"or":[213],"much":[215],"lower":[216],"approach.":[220]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}