Testing, Debugging, and Verification | TDA567/DIT082, LP2, HT2015 |
JUnitInstallation instructions JUnit, and links to further information, can be found here. Stateful TestingTo 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 | Atze van der Ploeg, Nov 23, 2015 |