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



JUnit

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.

Dafny




Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Srinivas Pinisetty, Nov 9, 2018