@inproceedings{DBLP:conf/icfp/ClaessenH00,
  author    = {Koen Claessen and
               John Hughes},
  title     = {QuickCheck: a lightweight tool for random testing of {H}askell programs},
  booktitle = {{Proceedings of the Fifth ACM SIGPLAN International Conference
               on Functional Programming (ICFP '00)}},
  pages     = {268--279},
  year      = {2000},
  crossref  = {DBLP:conf/icfp/2000},
  url       = {https://doi.org/10.1145/351240.351266},
  doi       = {10.1145/351240.351266},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ClaessenH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2000,
  editor    = {Martin Odersky and
               Philip Wadler},
  title     = {{Proceedings of the Fifth ACM SIGPLAN International Conference
               on Functional Programming (ICFP '00)}},
  publisher = {{ACM}},
  year      = {2000},
  isbn      = {1-58113-202-6},
  timestamp = {Tue, 11 Jun 2013 13:51:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/erlang/ArtsHJW06,
  author    = {Thomas Arts and
               John Hughes and
               Joakim Johansson and
               Ulf T. Wiger},
  title     = {Testing telecoms software with quviq {QuickCheck}},
  booktitle = {{Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang}},
  pages     = {2--10},
  year      = {2006},
  crossref  = {DBLP:conf/erlang/2006},
  url       = {https://doi.org/10.1145/1159789.1159792},
  doi       = {10.1145/1159789.1159792},
  timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/erlang/ArtsHJW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/erlang/2006,
  editor    = {Marc Feeley and
               Philip W. Trinder},
  title     = {{Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang}},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-490-1},
  timestamp = {Wed, 02 Apr 2008 10:59:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/erlang/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{PraiseOfPBT,
  title = {In Praise of Property-Based Testing},
  howpublished = {\url{https://increment.com/testing/in-praise-of-property-based-testing/}},
  year={2019},
  author={David R. MacIver},
}

@article{DBLP:journals/tse/ZellerH02,
  author    = {Andreas Zeller and
               Ralf Hildebrandt},
  title     = {Simplifying and Isolating Failure-Inducing Input},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {28},
  number    = {2},
  pages     = {183--200},
  year      = {2002},
  url       = {https://doi.org/10.1109/32.988498},
  doi       = {10.1109/32.988498},
  timestamp = {Wed, 14 Nov 2018 10:49:20 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/ZellerH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/RegehrCCEEY12,
  author    = {John Regehr and
               Yang Chen and
               Pascal Cuoq and
               Eric Eide and
               Chucky Ellison and
               Xuejun Yang},
  title     = {Test-case reduction for {C} compiler bugs},
  booktitle = {{ACM SIGPLAN Conference on Programming Language Design and Implementation,
               (PLDI '12)}},
  pages     = {335--346},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/2012},
  url       = {https://doi.org/10.1145/2254064.2254104},
  doi       = {10.1145/2254064.2254104},
  timestamp = {Wed, 14 Nov 2018 10:54:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/RegehrCCEEY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2012,
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {{ACM SIGPLAN Conference on Programming Language Design and Implementation,
               (PLDI '12)}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2254064},
  isbn      = {978-1-4503-1205-9},
  timestamp = {Tue, 12 Jun 2012 19:17:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@article{astropy:2013,
Adsnote = {Provided by the SAO/NASA Astrophysics Data System},
Adsurl = {http://adsabs.harvard.edu/abs/2013A%26A...558A..33A},
Archiveprefix = {arXiv},
Author = {{Astropy Collaboration} and {Robitaille}, T.~P. and {Tollerud}, E.~J. and {Greenfield}, P. and {Droettboom}, M. and {Bray}, E. and {Aldcroft}, T. and {Davis}, M. and {Ginsburg}, A. and {Price-Whelan}, A.~M. and {Kerzendorf}, W.~E. and {Conley}, A. and {Crighton}, N. and {Barbary}, K. and {Muna}, D. and {Ferguson}, H. and {Grollier}, F. and {Parikh}, M.~M. and {Nair}, P.~H. and {Unther}, H.~M. and {Deil}, C. and {Woillez}, J. and {Conseil}, S. and {Kramer}, R. and {Turner}, J.~E.~H. and {Singer}, L. and {Fox}, R. and {Weaver}, B.~A. and {Zabalza}, V. and {Edwards}, Z.~I. and {Azalee Bostroem}, K. and {Burke}, D.~J. and {Casey}, A.~R. and {Crawford}, S.~M. and {Dencheva}, N. and {Ely}, J. and {Jenness}, T. and {Labrie}, K. and {Lim}, P.~L. and {Pierfederici}, F. and {Pontzen}, A. and {Ptak}, A. and {Refsdal}, B. and {Servillat}, M. and {Streicher}, O.},
Doi = {10.1051/0004-6361/201322068},
Eid = {A33},
Eprint = {1307.6212},
Journal = {\aap},
Keywords = {methods: data analysis, methods: miscellaneous, virtual observatory tools},
Month = oct,
Pages = {A33},
Primaryclass = {astro-ph.IM},
Title = {{Astropy: A community Python package for astronomy}},
Volume = 558,
Year = 2013,
Bdsk-Url-1 = {https://dx.doi.org/10.1051/0004-6361/201322068}}

@article{astropy:2018,
Adsnote = {Provided by the SAO/NASA Astrophysics Data System},
Adsurl = {https://ui.adsabs.harvard.edu/#abs/2018AJ....156..123T},
Author = {{Price-Whelan}, A.~M. and {Sip{\H{o}}cz}, B.~M. and {G{\"u}nther}, H.~M. and {Lim}, P.~L. and {Crawford}, S.~M. and {Conseil}, S. and {Shupe}, D.~L. and {Craig}, M.~W. and {Dencheva}, N. and {Ginsburg}, A. and {VanderPlas}, J.~T. and {Bradley}, L.~D. and {P{\'e}rez-Su{\'a}rez}, D. and {de Val-Borro}, M. and {Paper Contributors}, (Primary and {Aldcroft}, T.~L. and {Cruz}, K.~L. and {Robitaille}, T.~P. and {Tollerud}, E.~J. and {Coordination Committee}, (Astropy and {Ardelean}, C. and {Babej}, T. and {Bach}, Y.~P. and {Bachetti}, M. and {Bakanov}, A.~V. and {Bamford}, S.~P. and {Barentsen}, G. and {Barmby}, P. and {Baumbach}, A. and {Berry}, K.~L. and {Biscani}, F. and {Boquien}, M. and {Bostroem}, K.~A. and {Bouma}, L.~G. and {Brammer}, G.~B. and {Bray}, E.~M. and {Breytenbach}, H. and {Buddelmeijer}, H. and {Burke}, D.~J. and {Calderone}, G. and {Cano Rodr{\'\i}guez}, J.~L. and {Cara}, M. and {Cardoso}, J.~V.~M. and {Cheedella}, S. and {Copin}, Y. and {Corrales}, L. and {Crichton}, D. and {D{\textquoteright}Avella}, D. and {Deil}, C. and {Depagne}, {\'E}. and {Dietrich}, J.~P. and {Donath}, A. and {Droettboom}, M. and {Earl}, N. and {Erben}, T. and {Fabbro}, S. and {Ferreira}, L.~A. and {Finethy}, T. and {Fox}, R.~T. and {Garrison}, L.~H. and {Gibbons}, S.~L.~J. and {Goldstein}, D.~A. and {Gommers}, R. and {Greco}, J.~P. and {Greenfield}, P. and {Groener}, A.~M. and {Grollier}, F. and {Hagen}, A. and {Hirst}, P. and {Homeier}, D. and {Horton}, A.~J. and {Hosseinzadeh}, G. and {Hu}, L. and {Hunkeler}, J.~S. and {Ivezi{\'c}}, {\v{Z}}. and {Jain}, A. and {Jenness}, T. and {Kanarek}, G. and {Kendrew}, S. and {Kern}, N.~S. and {Kerzendorf}, W.~E. and {Khvalko}, A. and {King}, J. and {Kirkby}, D. and {Kulkarni}, A.~M. and {Kumar}, A. and {Lee}, A. and {Lenz}, D. and {Littlefair}, S.~P. and {Ma}, Z. and {Macleod}, D.~M. and {Mastropietro}, M. and {McCully}, C. and {Montagnac}, S. and {Morris}, B.~M. and {Mueller}, M. and {Mumford}, S.~J. and {Muna}, D. and {Murphy}, N.~A. and {Nelson}, S. and {Nguyen}, G.~H. and {Ninan}, J.~P. and {N{\"o}the}, M. and {Ogaz}, S. and {Oh}, S. and {Parejko}, J.~K. and {Parley}, N. and {Pascual}, S. and {Patil}, R. and {Patil}, A.~A. and {Plunkett}, A.~L. and {Prochaska}, J.~X. and {Rastogi}, T. and {Reddy Janga}, V. and {Sabater}, J. and {Sakurikar}, P. and {Seifert}, M. and {Sherbert}, L.~E. and {Sherwood-Taylor}, H. and {Shih}, A.~Y. and {Sick}, J. and {Silbiger}, M.~T. and {Singanamalla}, S. and {Singer}, L.~P. and {Sladen}, P.~H. and {Sooley}, K.~A. and {Sornarajah}, S. and {Streicher}, O. and {Teuben}, P. and {Thomas}, S.~W. and {Tremblay}, G.~R. and {Turner}, J.~E.~H. and {Terr{\'o}n}, V. and {van Kerkwijk}, M.~H. and {de la Vega}, A. and {Watkins}, L.~L. and {Weaver}, B.~A. and {Whitmore}, J.~B. and {Woillez}, J. and {Zabalza}, V. and {Contributors}, (Astropy},
Doi = {10.3847/1538-3881/aabc4f},
Eid = {123},
Journal = {\aj},
Keywords = {methods: data analysis, methods: miscellaneous, methods: statistical, reference systems, Astrophysics - Instrumentation and Methods for Astrophysics},
Month = Sep,
Pages = {123},
Primaryclass = {astro-ph.IM},
Title = {{The Astropy Project: Building an Open-science Project and Status of the v2.0 Core Package}},
Volume = {156},
Year = 2018,
Bdsk-Url-1 = {https://doi.org/10.3847/1538-3881/aabc4f}}

@article{DBLP:journals/cse/WaltCV11,
  author    = {St{\'{e}}fan van der Walt and
               S. Chris Colbert and
               Ga{\"{e}}l Varoquaux},
  title     = {The {NumPy} Array: {A} Structure for Efficient Numerical Computation},
  journal   = {Computing in Science and Engineering},
  volume    = {13},
  number    = {2},
  pages     = {22--30},
  year      = {2011},
  url       = {https://doi.org/10.1109/MCSE.2011.37},
  doi       = {10.1109/MCSE.2011.37},
  timestamp = {Wed, 14 Nov 2018 10:48:31 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cse/WaltCV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LoscherS17,
  author    = {Andreas L{\"{o}}scher and
               Konstantinos Sagonas},
  title     = {Targeted property-based testing},
  booktitle = {{Proceedings of the 26th ACM SIGSOFT International Symposium on
               Software Testing and Analysis}},
  pages     = {46--56},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {https://doi.org/10.1145/3092703.3092711},
  doi       = {10.1145/3092703.3092711},
  timestamp = {Wed, 25 Sep 2019 18:08:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/LoscherS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2017,
  editor    = {Tevfik Bultan and
               Koushik Sen},
  title     = {{Proceedings of the 26th ACM SIGSOFT International Symposium on
               Software Testing and Analysis}},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3092703},
  doi       = {10.1145/3092703},
  isbn      = {978-1-4503-5076-1},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}