Testing, Debugging, and Verification TDA567/DIT082, LP2, HT2015


Installation instructions JUnit, and links to further information, can be found here.

Stateful Testing

To demonstrate and explore the theories behind property-based testing of stateful objects, we have implemented a simple framework based on the ideas described in this article by Claessen and Hughes.

Click here for more information on this framework.


Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Atze van der Ploeg, Nov 23, 2015