{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:15:35Z","timestamp":1770275735539,"version":"3.49.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693071","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"103-113","source":"Crossref","is-referenced-by-count":13,"title":["Testing properties of dataflow program operators"],"prefix":"10.1109","author":[{"given":"Zhihong","family":"Xu","sequence":"first","affiliation":[]},{"given":"Martin","family":"Hirzel","sequence":"additional","affiliation":[]},{"given":"Gregg","family":"Rothermel","sequence":"additional","affiliation":[]},{"given":"Kun-Lung","family":"Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231390"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559873"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356074"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810526"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2247596.2247659"},{"key":"13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013208.1013209","article-title":"Advances in dataflow programming languages","volume":"36","author":"johnston","year":"2004","journal-title":"ACM Computing Surveys"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"11","year":"0"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2002259.2002278"},{"key":"21","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/2335484.2335487","article-title":"From a calculus to an execution environment for stream processing","author":"soule?","year":"2012","journal-title":"Conference on Distributed Event-Based Systems (DEBS)"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1145\/2370816.2370826","article-title":"Autoparallelizing stateful distributed streaming applications","author":"schneider","year":"2012","journal-title":"Conference on Parallel Architectures and Compilation Techniques (PACT)"},{"key":"22","first-page":"507","article-title":"A universal calculus for stream processing languages","author":"soule?","year":"2010","journal-title":"European Symposium on Programming (ESOP)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050095"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854319"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2013.6704673"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629600"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/4235.735431"},{"key":"2","first-page":"363","article-title":"Flume- Java: Easy, efficient data-parallel pipelines","author":"chambers","year":"2010","journal-title":"Conf on Programming Language Design and Implementation (PLDI)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350244"},{"key":"1","first-page":"277","article-title":"The design of the Borealis stream processing engine","author":"abadi","year":"2005","journal-title":"Conference on Innovative Data Systems Research (CIDR)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"6","first-page":"179","article-title":"A report on random testing","author":"duran","year":"1981","journal-title":"International Conference on Software Engineering (ICSE)"},{"key":"5","first-page":"137","article-title":"MapReduce: Simplified data processing on large clusters","author":"dean","year":"2004","journal-title":"Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/52.536462"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2013.2243535"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2335484.2335506"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","location":"Silicon Valley, CA, USA","start":{"date-parts":[[2013,11,11]]},"end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693071.pdf?arnumber=6693071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T13:23:19Z","timestamp":1688908999000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693071","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}