|Testing, Debugging, and Verification||TDA567/DIT082, LP2, HT2017|
Installation instructions JUnit, and links to further information, can be found here.
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||Srinivas Pinisetty, Dec 7, 2017|