Flow graphs for testing sequential Erlang programs

Proceedings of the ACM SIGPLAN 2004 Erlang Workshop

Volumn , Issue , 2004, Pages 48-53

  Widera, Manfred ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Flow graphs; Test coverage

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); DATA FLOW ANALYSIS; GRAPH THEORY; PATTERN MATCHING; SOFTWARE ENGINEERING;

CONTINUATION PASSING STYLE (CPS); FLOW GRAPHS; SOFTWARE TESTING; TEST COVERAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 12344337683     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1022471.1022479     Document Type: Conference Paper

References (15)

1. J. M. Ashley and R. K. Dybvig. A practical and flexible flow analysis for higher-order languages. ACM Transactions on Programming Languages and Systems, 20(4):845-868, July 1998.
2. O. Chitil. A semantics for tracing. In Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL, 2001.
3. K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proceedings of the ACM Sigplan International Conference on Functional Programming (ICFP'00), volume 35.9 of ACM Sigplan Notices, pages 268-279, N.Y., Sept. 18-21 2000. ACM Press.
4. Tools version 2.3. Documentation for Erlang OTP R9C.
5. C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proceedings of the ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, PLDI'93, Albuquerque, NM, USA, 23-25 June 1993, volume 28(6), pages 237-247. ACM Press, New York, 1993.
6. A. Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 4th Haskell Workshop. Technical report of the University of Nottingham, 2000.
7. P. Liggesmeyer. Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag, Heidelberg, Berlin, 2002.
8. L. Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), 1997.
9. G. Rothermel, M. Burnett, L. Li, C. Dupuis, and A. Sheretov. A methodology for testing spreadsheets. ACM Transactions on Software Engineering and Methodology, 10(1):110-147, 2001.
10. G. Rothermel, L. Li, C. DuPuis, and M. Burnett. What you see is what you test: A methodology for testing form-based visual programs. In Proceedings of the 1998 International Conference on Software Engineering, pages 198-207. IEEE Computer Society Press / ACM Press, 1998.
11. K. J. Rothermel, C. R. Cook, M. M. Burnett, J. Schonfeld, T. R. G. Green, and G. Rothermel. WYSIWYT testing in the spreadsheet paradigm. In Proceedings of the 22nd International Conference on Software Engineering, pages 230-239. ACM Press, June 2000.
12. O. Shivers. Control-flow analysis in Scheme. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 164-174, June 1988.
13. K. van den Berg. Software Measurement and Functional Programming. 1995.
14. M. Wallace, O. Chitil, T Brehm, and C. Runciman. Multiple-view tracing for Haskell: a new hat. In Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, pages 151-170, 2001.
15. H. Zhu, P. Hall, and J. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366-427, Dec. 1997.