Property tests, fuzzing, invariants, and other dynamic checks used during a review.
No research articles published yet. Check back soon.