corpus.blog
Claim your blog
Record · corpus.blog/posts/01a0fffe-5f58-7048-8917-2baf9c9b6620

How to Fuzz an ADT Implementation

John Regehr · published 14 February 2013

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.regehr.org Wayback capture
1blog citing
First cited
1 May 2025
Most recent
1 May 2025
Rank this month
not ranked
External links
19
Words captured
2,514

Cited by 1 blog in 1 post

One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.

Blog
Newest citing post
Date
fanf.dreamwidth.org1 post
testing data structures per element Read at the source ↗
1 May 2025

Links from this post

Link
Host
http://web.mit.edu/~emin/www.old/source_code/red_black_tree/index.html
web.mit.edu
https://github.com/regehr/rb_tree_demo/tree/baseline
github.com
https://github.com/regehr/rb_tree_demo/blob/baseline/red_black_tree.h
github.com
https://github.com/regehr/rb_tree_demo/blob/baseline/red_black_tree.c
github.com
https://github.com/regehr/rb_tree_demo/blob/baseline/test_red_black_tree.c
github.com
https://github.com/regehr/rb_tree_demo/blob/baseline/simple_test.sh
github.com
http://frama-c.com/
frama-c.com
https://github.com/regehr/rb_tree_demo/compare/baseline...step_1
github.com
https://github.com/regehr/rb_tree_demo/tree/step_2
github.com
https://github.com/regehr/rb_tree_demo/commit/a7c9e23d82ec9cf3cf269f946af06583dede831f
github.com
http://en.wikipedia.org/wiki/Oracle_(software_testing
en.wikipedia.org
https://github.com/regehr/rb_tree_demo/blob/step_3a/red_black_tree.c
github.com
https://github.com/regehr/rb_tree_demo/blob/step_3a/fuzz_red_black_tree.c
github.com
https://github.com/regehr/rb_tree_demo/compare/step_3a...step_3
github.com
https://github.com/regehr/rb_tree_demo/compare/step_3...step_4
github.com
https://github.com/regehr/rb_tree_demo/compare/step_4...step_5
github.com
https://github.com/regehr/rb_tree_demo/compare/step_5...step_6
github.com
https://github.com/regehr/rb_tree_demo/compare/step_6...step_7
github.com
https://github.com/regehr/rb_tree_demo/compare/step_7...step_8c
github.com
Elsewhere on blog.regehr.org (4)