Media Summary: Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... ParaFuzz is a property-based fuzzing tool for parallel programs written in Multicore
Randomized Testing And Qcheck Ocaml Programming Chapter 6 Video 19 - Detailed Analysis & Overview
Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... ParaFuzz is a property-based fuzzing tool for parallel programs written in Multicore "Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ... The correctness of a data-abstraction operation can be understood using abstraction functions, representation invariants, and ... Validation is about building confidence in the correct behavior of a
Representation invariants can be implemented and used to
