If you're interested in property-based testing, I highly recommend "How to Specify It!" by John Hughes, which is available both as a talk and as a paper. https

If you're interested in property-based testing, I highly recommend "How to Specify It!" by John Hughes, which is available both as a talk and as a paper. https://research.chalmers.se/publication/517894/file/517894_Fulltext.pdf https://research.chalmers.se/publication/517894/file/517894_... https://www.youtube.com/watch?v=G0NUOst-53U https://www.youtube.com/watch?v=G0NUOst-53U He gives fantastic guidance about how to write PBTs.