Linking pages
Linked pages
- http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf 72 comments
- Finding Bugs in C and C++ Compilers using YARPGen | SIGPLAN Blog https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/ 50 comments
- Crashes, Hangs and Crazy Images by Adding Zero | by Alastair Donaldson | Medium https://medium.com/@afd_icl/crashes-hangs-and-crazy-images-by-adding-zero-689d15ce922b#.drtfzl4bo 23 comments
- GitHub - csmith-project/creduce: C-Reduce, a C program reducer https://github.com/csmith-project/creduce 21 comments
- Most testing is ineffective - Hypothesis https://hypothesis.works/ 3 comments
- http://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2017/OOPSLA.pdf 0 comments
- Design and Evolution of C-Reduce (Part 2) – Embedded in Academia https://blog.regehr.org/archives/1679 0 comments
- GitHub - csmith-project/csmith: Csmith, a random generator of C programs https://github.com/csmith-project/csmith 0 comments
Related searches:
Search whole site: site:blog.sigplan.org
Search title: An Overview of Test Case Reduction | SIGPLAN Blog
See how to search.