Lobsters
- Csmith https://embed.cs.utah.edu/csmith/ 3 comments c , testing
- C-Reduce https://embed.cs.utah.edu/creduce/ 2 comments rust
- Test Case Reduction for C Compiler Bugs [pdf] http://embed.cs.utah.edu/creduce/pldi12_talk.pdf 3 comments programming
- Crash your compiler with random C stress tests http://embed.cs.utah.edu/csmith/ 14 comments programming
- Finding Integer Undefined Behaviors in C/C++ with Clang http://embed.cs.utah.edu/ubc/ 32 comments programming