Blog | QuviQ quviq.com

Generating Fixed Test Suites with QuickCheck

quviq.com·452w

How to test inner loops

quviq.com·452w

Shrinking fallback servers to primary servers

quviq.com·452w

Testing TLS with QuickCheck

quviq.com·452w

Testing C++ STL set using QuickCheck

quviq.com·452w

verifying the crypto part

galois.com·507w

research paper

dl.acm.org·605w

paper

dl.acm.org·605w

he used QuickCheck to track down a bug in the background compaction that is part of Google’s LevelDB database

htmlpreview.github.io·605w

detailed account

quviq.com·605w

here

github.com·605w

A patch

bugs.erlang.org·605w

set implementation

cplusplus.com·605w

safety

link.springer.com·605w

here

github.com·605w

test elevator control software

vimeo.com·605w

research paper

ieeexplore.ieee.org·605w

Torben Hoffman’s talk

erlang-factory.com·605w

Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

dl.acm.org·62w·Lobsters

Log in to enable infinite scrolling