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

Testing, Debugging, and Verification	TDA567/DIT082, LP2, HT2015
Lecture Notes: Property Based Testing (Stateful).
Topics The topics of the lecture are Properties: Algebraic stateful, equivalence Program generation, shared prefix, equivalent code, shared post fix, observation Handouts PBT Stateful

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