Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
232 lines (204 sloc) 6.27 KB
@inproceedings{qc,
author = {Claessen, Koen and Hughes, John},
title = {{QuickCheck}: a lightweight tool for random testing of {H}askell programs},
booktitle = {ACM SIGPLAN International Conference on Functional Programming (ICFP)},
journal = {SIGPLAN Notices},
OPTvolume = {35},
OPTnumber = {9},
year = {2000},
pages = {268--279},
publisher = {ACM}
}
@article{daikon,
author = {Ernst, Michael D. and Perkins, Jeff H. and Guo, Philip J. and McCamant, Stephen and Pacheco, Carlos and Tschantz, Matthew S. and Xiao, Chen},
title = {The {D}aikon system for dynamic detection of likely invariants},
journal = {Science of Computer Programing},
volume = {69},
number = {1-3},
month = dec,
year = {2007},
pages = {35--45}
}
@article{regehr,
author = {Regehr, John and Chen, Yang and Cuoq, Pascal and Eide, Eric and Ellison, Chucky and Yang, Xuejun},
title = {Test-case Reduction for {C} Compiler Bugs},
journal = {SIGPLAN Notices},
issue_date = {June 2012},
volume = {47},
number = {6},
month = jun,
year = {2012},
publisher = {ACM}
}
@inproceedings{claessen,
author = {Claessen, Koen},
title = {Shrinking and showing functions: (functional pearl)},
booktitle = {Proceedings of the Haskell symposium},
year = {2012},
pages = {73--80},
publisher = {ACM}
}
@inproceedings{kow,
author = {Kow, Eric},
title = {{GenI}: natural language generation in {H}askell},
booktitle = {Proceedings of the 2006 ACM SIGPLAN workshop on Haskell},
year = {2006},
pages = {110--119},
publisher = {ACM}
}
@inproceedings{feat,
author = {Dureg{\aa}rd, Jonas and Jansson, Patrik and Wang, Meng},
booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell},
pages = {61-72},
publisher = {ACM},
title = {{F}eat: functional enumeration of algebraic types},
year = 2012
}
@inproceedings{telecom,
author = {Thomas Arts and
John Hughes and
Joakim Johansson and
Ulf T. Wiger},
title = {Testing telecoms software with {Quviq QuickCheck}},
booktitle = {ACM SIGPLAN Workshop on Erlang Erlang Workshop},
year = {2006},
publisher = {ACM},
pages = {2-10}
}
@inproceedings{qcjh,
author = {John Hughes},
title = {Software Testing with {QuickCheck}},
booktitle = {Central European Functional Programming School (CEFP)},
year = {2010},
publisher = {Springer},
volume = {6299},
series = {LNCS},
pages = {183-223}
}
@techreport{haskell2010,
author = {Simon {Marlow (editor)}},
title = {{H}askell 2010 Language Report},
howpublished = {Available at \url{http://www.haskell.org/definition/haskell2010.pdf}},
month = {July},
year = {2010}
}
@Misc{ghc,
key = {GHC},
author = {{GHC Team}},
title = {The Glorious {G}lasgow {H}askell Compilation System User's Guide, Version 7.4.1},
OPThowpublished = {},
month = {March},
year = {2012},
note = {Available at \url{http://www.haskell.org/ghc/docs/latest/html/users_guide/}},
OPTannote = {}
}
@inproceedings{qs,
author = {Koen Claessen and
Nicholas Smallbone and
John Hughes},
title = {{QuickSpec}: Guessing Formal Specifications Using Testing},
booktitle = {Tests and Proofs Intl. Conference (TAP)},
year = {2010},
series = {LNCS},
pages = {6-21}
}
@inproceedings{gadts,
author = {Johann, Patricia and Ghani, Neil},
title = {Foundations for structured programming with {GADT}s},
booktitle = {Symposium on Principles of programming Languages (POPL)},
year = {2008},
pages = {297--308},
numpages = {12},
publisher = {ACM}
}
@article{zipper,
author = {G{\'e}rard P. Huet},
title = {The Zipper},
journal = {Journal of Functional Programming},
volume = {7},
number = {5},
year = {1997},
pages = {549-554}
}
@inproceedings{xmonad,
author = {Don Stewart and
Spencer Sjanssen},
title = {{XMonad}},
booktitle = {ACM SIGPLAN Workshop on Haskell},
year = {2007},
pages = {119},
publisher = {ACM}
}
@inproceedings{generics,
author = {Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres},
title = {A generic deriving mechanism for {Haskell}},
booktitle = {Proceedings of the 3rd ACM Haskell Symposium on Haskell},
year = {2010},
pages = {37--48},
publisher = {ACM}
}
@inproceedings{syb,
author = {Ralf L{\"a}mmel and
Simon L. Peyton-Jones},
title = {Scrap your boilerplate with class: extensible generic functions},
booktitle = {ACM SIGPLAN International Conference on Functional Programming
(ICFP)},
year = {2005},
publisher = {ACM},
pages = {204-215}
}
@Book{jackson,
author = {Daniel Jackson},
ALTeditor = {},
title = {Software abstractions: logic, language and analysis},
publisher = {{MIT} Press},
year = {2006},
OPTannote = {}
}
@article{haskell98,
author = {Simon Peyton-Jones and others},
title = {The {Haskell} 98 Language and Libraries: The Revised Report},
journal = {Journal of Functional Programming},
volume = 13,
number = 1,
pages = {0--255},
month = {Jan},
year = 2003,
note = {Available at \url{http://www.haskell.org/definition/}},
}
@article{dd,
author = {Zeller, Andreas and Hildebrandt, Ralf},
title = {Simplifying and Isolating Failure-Inducing Input},
journal = {IEEE Transactions on Software Engineering},
volume = {28},
number = {2},
month = feb,
year = {2002},
pages = {183--200},
}
@inproceedings{hdd,
author = {Misherghi, Ghassan and Su, Zhendong},
title = {{HDD}: hierarchical delta debugging},
booktitle = {Proceedings of the 28th international conference on Software engineering},
year = {2006},
pages = {142--151},
publisher = {ACM},
}
@inproceedings{sc,
author = {Colin Runciman and
Matthew Naylor and
Fredrik Lindblad},
title = {{SmallCheck} and lazy {s}mallcheck: automatic exhaustive testing
for small values},
booktitle = {Proceedings of the ACM Haskell Symposium},
publisher = {ACM},
year = {2008},
pages = {37-48}
}
@INPROCEEDINGS{monadic,
author = {Koen Claessen and John Hughes},
title = {Testing Monadic Code with {QuickCheck}},
booktitle = {ACM SIGPLAN workshop on Haskell},
year = {2002},
pages = {65--77}
}
Something went wrong with that request. Please try again.