Record · corpus.blog/posts/01a07df2-0ed6-70d4-8d73-854a548e9722

Bridging Fuzzing and Property Testing

Yoshua Wuyts · published 10 July 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.yoshuawuyts.com Wayback capture

1blogs citing

First cited: 31 Jul 2023
Most recent: 1 Jan 2024
Rank this month: not ranked
Links from this post: 22
Words captured: 3,587

Cited by

Blog

In the post

Date

poorlydefinedbehaviour.github.io

Reading list 2023 Read at the source ↗

1 Jan 2024

poorlydefinedbehaviour.github.io

Reading list July 2023 Read at the source ↗

31 Jul 2023

Links from this post

Link

Host

https://fitzgeraldnick.com/2020/01/16/better-support-for-fuzzing-structured-inputs-in-rust.html

fitzgeraldnick.com

https://docs.rs/arbitrary/latest/arbitrary/

docs.rs

https://docs.rs/heckcheck/latest/heckcheck/

docs.rs

https://crates.io/crates/proptest-arbitrary-interop

crates.io

https://en.wikipedia.org/wiki/Fuzzing

en.wikipedia.org

https://en.wikipedia.org/wiki/Property_testing

en.wikipedia.org

https://en.wikipedia.org/wiki/Code_sanitizer

en.wikipedia.org

https://github.com/google/oss-fuzz

github.com

https://github.com/rust-fuzz/cargo-fuzz

github.com

https://github.com/rust-lang/miri

github.com

https://github.com/datrs/memory-pager/blob/25c24144076ec6df46d0632c9e667df9582769c6/tests/regression.rs

github.com

https://docs.rs/loom/latest/loom/

docs.rs

https://docs.rs/turmoil/latest/turmoil/

docs.rs

Writing a Test Case Generator for a Programming Language Read at the source ↗

fitzgeraldnick.com

https://github.com/bytecodealliance

github.com

https://link.springer.com/chapter/10.1007/978-3-030-16722-6_24

link.springer.com

https://docs.rs/quickcheck/latest/quickcheck/

docs.rs

https://docs.rs/proptest/latest/proptest/index.html

docs.rs

https://proptest-rs.github.io/proptest/proptest/vs-quickcheck.html

proptest-rs.github.io

https://hachyderm.io/@rain

hachyderm.io

https://tylerneely.com

tylerneely.com

https://docs.rs/smallvec/latest/smallvec/

docs.rs