Haskell program coverage

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Haskell program coverage

Full text

Pdf (321 KB)

Source

Haskell archive
Proceedings of the ACM SIGPLAN workshop on Haskell workshop table of contents

Freiburg, Germany

SESSION: Session 1 table of contents

Pages: 1 - 12

Year of Publication: 2007

ISBN:978-1-59593-674-5

Authors

Andy Gill	Galois, Inc, Beaverton, OR
Colin Runciman	University of York, York, United Kingdom

Sponsors

ACM: Association for Computing Machinery
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 53, Citation Count: 4

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1291201.1291203 What is a DOI?

ABSTRACT

We describe the design, implementation and use of HPC, a tool-kit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record program coverage, run instrumented programs, and display information derived from coverage data in various ways.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Olaf Chitil. Hat-explore: Source-based trace exploration. In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 1--5. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.
	2	Koen Claessen , John Hughes, QuickCheck: a lightweight tool for random testing of Haskell programs, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.268-279, September 2000
	3	K. Claessen, C. Runciman, O. Chitil, R. J. M. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. In Advanced Functional Programming (AFP'02), pages 59--99. Springer LNCS 2638, 2002.
	4	David Duke , Malcolm Wallace , Rita Borgo , Colin Runciman, Fine-grained Visualization Pipelines and Lazy Functional Languages, IEEE Transactions on Visualization and Computer Graphics, v.12 n.5, p.973-980, September 2006 [doi>10.1109/TVCG.2006.145]
	5	The haskell 98 foreign-function interface 1.0: an addendum to the haskell98 report.http://www.cs.unsw.edu.au/~chak/haskell/ffi.
	6	The Glasgow Haskell Compiler. http://www.haskell.org/ghc/.
	7	A. Gill. Debugging Haskell by observing intermediate data structures. In Haskell Workshop, 2000.
	8	Hat - the Haskell Tracer. http://www.cs.york.ac.uk/fp/hat.
	9	The nhc98 Haskell compiler. http://www.cs.york.ac.uk/fp/nhc98.
	10	Will Partain, The nofib Benchmark Suite of Haskell Programs, Proceedings of the 1992 Glasgow Workshop on Functional Programming, p.195-202, July 06-08, 1992
	11	C. Runciman. Deriving program coverage from Hat traces. In Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 27--32. YCS 395, Dept. of Computer Science, University of York, 2005.
	12	Simon Marlow , José Iborra , Bernard Pope , Andy Gill, A lightweight interactive debugger for haskell, Proceedings of the ACM SIGPLAN workshop on Haskell workshop, September 30-30, 2007, Freiburg, Germany [doi>10.1145/1291201.1291204]
	13	Julian Seward , Nicholas Nethercote, Using Valgrind to detect undefined value errors with bit-precision, Proceedings of the annual conference on USENIX Annual Technical Conference, p.2-2, April 10-15, 2005, Anaheim, CA
	14	M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-view tracing for Haskell: a new Hat. In Proc. 5th Haskell Workshop, 2001.
	15	Qian Yang , J. Jenny Li , David Weiss, A survey of coverage based testing tools, Proceedings of the 2006 international workshop on Automation of software test, May 23-23, 2006, Shanghai, China [doi>10.1145/1138929.1138949]
	16	A. Zheng, M. Jordan, B. Liblit, and A. Aiken. Statistical debugging of sampled programs, 2003.
	17	Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997 [doi>10.1145/267580.267590]

CITED BY 4

	Simon Marlow , José Iborra , Bernard Pope , Andy Gill, A lightweight interactive debugger for haskell, Proceedings of the ACM SIGPLAN workshop on Haskell workshop, September 30-30, 2007, Freiburg, Germany
	Sebastian Fischer , Herbert Kuchen, Data-flow testing of declarative programs, ACM SIGPLAN Notices, v.43 n.9, September 2008
	Colin Runciman , Matthew Naylor , Fredrik Lindblad, Smallcheck and lazy smallcheck: automatic exhaustive testing for small values, Proceedings of the first ACM SIGPLAN symposium on Haskell, September 25-25, 2008, Victoria, BC, Canada
	Simon Frankau , Diomidis Spinellis , Nick Nassuphis , Christoph Burgard, Commercial uses: Going functional on exotic trades, Journal of Functional Programming, v.19 n.1, p.27-45, January 2009