Testing properties of dataflow program operators

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

Volumn , Issue , 2013, Pages 103-113

  Xu, Zhihong ^a   Hirzel, Martin ^b   Rothermel, Gregg ^a   Wu, Kun Lung ^b  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AS GRAPH; COMMERCIAL SOFTWARE; DATA STREAM; DATAFLOW; EMPIRICAL DATA; SEMANTIC PROPERTIES; SPECIFIC PROPERTIES;

DATA FLOW ANALYSIS; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING;

APPLICATION PROGRAMS;

EID: 84893580079     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2013.6693071     Document Type: Conference Paper

References (26)

1. Daniel J. Abadi, Yanif Ahmad, Magdalena Balazinska, U?gur Cetintemel, Mitch Cherniack, Jeong-Hyon Hwang, Wolfgang Lindner, Anurag S. Maskey, Alexander Rasin, Esther Ryvkina, Nesime Tatbul, Ying Xing, and Stan Zdonik. The design of the Borealis stream processing engine. In Conference on Innovative Data Systems Research (CIDR), pages 277- 289, 2005.
2. Craig Chambers, Ashish Raniwala, Frances Perry, Stephen Adams, Robert R. Henry, Robert Bradshaw, and Nathan Weizenbaum. Flume- Java: easy, efficient data-parallel pipelines. In Conference on Programming Languages Design and Implementation (PLDI), pages 363-375, 2010.
3. Kumar Chellapilla. Combining mutation operators in evolutionary programming. IEEE Transactions on Evolutionary Computation (TEC), 2(3):91-96, September 1998. (Pubitemid 128748406)
4. David M. Cohen, Siddhartha R. Dalal, Jesse Parelius, and Gardner C. Patton. The combinatorial design approach to automatic test generation. IEEE Software, 13(5):83-88, September 1996.
5. Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified data processing on large clusters. In Symposium on Operating Systems Design and Implementation (OSDI), pages 137-150, 2004.
6. Joe W. Duran and Simeon Ntafos. A report on random testing. In International Conference on Software Engineering (ICSE), pages 179- 183, 1981.
7. Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr. Swarm testing. In International Symposium on Software Testing and Analysis (ISSTA), pages 78-88, 2012.
8. Martin Hirzel. Partition and compose: Parallel complex event processing. In Conference on Distributed Event-Based Systems (DEBS), pages 191- 200, 2012.
9. Martin Hirzel, Henrique Andrade, Buǧra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé, and Kun-Lung Wu. IBM Streams Processing Language: Analyzing big data in motion. IBM Journal of Research and Development (IBMRD), 57(3/4):7:1-7:11, 2013.
10. Fabian Hueske, Mathias Peters, Matthias J. Sax, Astrid Rheinländer, Rico Bergmann, Aljoscha Krettek, and Kostas Tzoumas. Opening the black boxes in data flow optimization. In Conference on Very Large Databases (VLDB), pages 1256-1267, 2012.
11. IBM Infosphere Streams. http://www.ibm.com/software/data/infosphere/ streams/.
12. K. R. Jayaram and Patrick Eugster. Program analysis for event-based distributed systems. In Conference on Distributed Event-Based Systems (DEBS), pages 113-124, 2011.
13. Westley M. Johnston, J. R. Paul Hanna, and Richard J. Millar. Advances in dataflow programming languages. ACM Computing Surveys, 36(1):1-34, 2004.
14. E.A. Lee and D.G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75(9):1235-1245, 1987.
15. Peng Li, Kunal Agrawal, Jeremy Buhler, and Roger D. Chamberlain. Deadlock avoidance for streaming computations with filtering. In Symposium on Parallelism in Algorithms and Architectures (SPAA), pages 243-252, 2010.
16. Mark Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, and Buǧra Gedik. Extending a general-purpose streaming system for XML. In Conference on Extending Database Technology (EDBT), pages 534- 539, 2012.
17. Christopher Olston, Shubham Chopra, and Utkarsh Srivastava. Generating example data for dataflow programs. In International Conference on Management of Data (SIGMOD), pages 245-256, 2009.
18. Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, and David I. August. Parallel-stage decoupled software pipelining. In Symposium on Code Generation and Optimization (CGO), pages 114- 123, 2008. (Pubitemid 351667258)
19. Martin C. Rinard and Pedro C. Diniz. Commutativity analysis: A new analysis framework for parallelizing compilers. In Conference on Programming Languages Design and Implementation (PLDI), pages 54- 67, 1996. (Pubitemid 126669325)
20. Scott Schneider, Martin Hirzel, Buǧra Gedik, and Kun-Lung Wu. Autoparallelizing stateful distributed streaming applications. In Conference on Parallel Architectures and Compilation Techniques (PACT), 2012.
21. Robert Soulé, Martin Hirzel, Buǧra Gedik, and Robert Grimm. From a calculus to an execution environment for stream processing. In Conference on Distributed Event-Based Systems (DEBS), pages 20-31, 2012.
22. Robert Soulé, Martin Hirzel, Robert Grimm, Buǧra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu. A universal calculus for stream processing languages. In European Symposium on Programming (ESOP), pages 507-528, 2010.
23. Robert Stephens. A survey of stream processing. Acta Informatica, 34(7):491-541, 1997. (Pubitemid 127362209)
24. William Thies and Saman Amarasinghe. An empirical characterization of stream programs and its implications for language and compiler design. In Conference on Parallel Architectures and Compilation Techniques (PACT), pages 365-376, 2010.
25. Zhihong Xu, Martin Hirzel, and Gregg Rothermel. Semantic characterization of mapreduce workloads. In Proceedings of the International Symposium on Workload Characterization (IISWC), 2013.
26. Yuan Yu, Pradeep Kumar Gunda, and Michael Isard. Distributed aggregation for data-parallel computing: Interfaces and implementations. In Symposium on Operating Systems Principles (SOSP), pages 247-260, 2009.