Property-Based Testing: QuickChick

Related lectures (23)

Page 2 of 3

Covers tools and best practices for software writing, debugging, testing, and managing code.

Explains the merge sort algorithm, its correctness, and time complexity compared to other sorting algorithms.

Explores optimization problems and greedy algorithms for efficient decision-making.

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.

Introduces selection and insertion sorting algorithms, explaining their correctness and time complexity.

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers test statistics, threshold values, and lower bounds for estimating properties.

Explores testing methodologies, risk management, and the Flight Readiness Review process in systems engineering.

Focuses on project planning, execution, and key user involvement for effective project management.