1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200
|
@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}
}
|