From da1f14f30dd988264bc4061845f1a123a15194b1 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Tue, 8 Apr 2025 11:30:50 +0200 Subject: [PATCH] Add a reference to relevant literature --- writing/literature.bib | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 writing/literature.bib diff --git a/writing/literature.bib b/writing/literature.bib new file mode 100644 index 000000000..8eee97250 --- /dev/null +++ b/writing/literature.bib @@ -0,0 +1,10 @@ +@INPROCEEDINGS{10549613, +author={Goldstein, Harrison and Cutler, Joseph W. and Dickstein, Daniel and Pierce, Benjamin C. and Head, Andrew}, +booktitle={2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)}, +title={Property-Based Testing in Practice}, +year={2024}, +volume={}, +number={}, +pages={2307-2319}, +keywords={Technological innovation;Companies;Writing;Software;Libraries;Generators;Formal specifications;property-based testing;random testing;human-centered research}, +doi={10.1145/3597503.3639581}}