Discovering Security and Safety Flaws Using Property Based Testing (1996)

by G Fink