Lobsters
- Csmith https://embed.cs.utah.edu/csmith/ 3 comments c , testing
- Are there any tools that automatically generate Java programs? http://embed.cs.utah.edu/csmith/ 6 comments compsci
- Crash your compiler with random C stress tests http://embed.cs.utah.edu/csmith/ 14 comments programming
Linking pages
- What is Property Based Testing? - Hypothesis http://hypothesis.works/articles/what-is-property-based-testing/ 75 comments
- GitHub - andrewchambers/cc: Cross platform C preprocessor and compiler. https://github.com/andrewchambers/cc 12 comments
- Simple guided fuzzing for libraries using LLVM's new libFuzzer - The LLVM Project Blog http://blog.llvm.org/2015/04/fuzz-all-clangs.html 6 comments
- Writing a Test Case Generator for a Programming Language https://fitzgeraldnick.com/2020/08/24/writing-a-test-case-generator.html 6 comments
- Combining Coverage-Guided and Generation-Based Fuzzing http://fitzgeraldnick.com/2019/09/04/combining-coverage-guided-and-generation-based-fuzzing.html 4 comments
- GitHub - rohanpadhye/JQF: JQF + Zest: Coverage-guided semantic fuzzing for Java. https://github.com/rohanpadhye/jqf 3 comments
- Ten Ethereum-Related Projects You could Take | by Yoichi Hirai | Medium https://medium.com/@pirapira/ten-ethereum-related-pending-projects-you-could-take-c828a2dce88e 3 comments
- Racket News - Issue 11 https://racket-news.com/2019/07/racket-news-issue-11.html 0 comments
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- Fuzzing with Grammars - The Fuzzing Book https://www.fuzzingbook.org/html/Grammars.html 0 comments
- GitHub - anse1/sqlsmith: A random SQL query generator https://github.com/anse1/sqlsmith 0 comments
- Fuzzing the Solidity Compiler https://bshastry.github.io/2018/10/20/Fuzzing-Solidity-Compiler.html 0 comments
- GitHub - csmith-project/csmith: Csmith, a random generator of C programs https://github.com/csmith-project/csmith 0 comments