Quickstrom: Property Based Acceptance Testing with LTL Specifications · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2203.11532/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTQuickstrom: Property Based Acceptance Testing with LTL Specifications — mentioned by owickstromhttps://news.ycombinator.com/item?id=47490678urn:hackerpapers:mention:2203.11532:47490678Mon, 23 Mar 2026 15:15:46 GMT<p>I&#x27;d say it does! Bombadil is very new but its predecessor has found complicated and very real bugs in my work projects, and in the paper we wrote about it, we found bugs in more than half of the TodoMVC example apps: https://arxiv.org/abs/2203.11532</p><p><a href="https://hackerpaper.kaipfister.de/p/2203.11532/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLQuickstrom: Property Based Acceptance Testing with LTL Specifications — HN submissionhttps://news.ycombinator.com/item?id=30852491urn:hackerpapers:submission:2203.11532:30852491Wed, 30 Mar 2022 07:55:37 GMT<p>Quickstrom: Property Based Acceptance Testing with LTL Specifications</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2203.11532/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL