Testing, Debugging, and Verification - Property based testing (stateless)

Testing, Debugging, and Verification	TDA567/DIT082, LP2, HT2015
Lecture Notes: Property Based Testing (Stateless).
Topics The topics of the lecture are Properties: Post-condition, Algebraic, equivalence Random input generation & constrained random input generation Shrinking Handouts PBT Stateless

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Evaluation \| Tools	Atze van der Ploeg, Oct 18, 2016