|Testing, Debugging, and Verification||TDA566/DIT082, LP2, HT2011|
JML specifications of standard Java classes/interfacesBecause application programs use standard libraries, the specification of applications also depends on library specifications.
Check out the JML specifications for the JDK library classes and interfaces.
KeY Test Generation
Here is the JNLP file for Java Webstart. Simply say javaws http://www.key-project.org/download/testingTDV/KeYTest.jnlp. See also the slides of Week 6 (ATCG Part 2).
Resources for logical reasoningYou can test your knowledge about logical reasoning on-line here and here. Mathworld is often a good place for looking up mathematical terminology like antisymmetric, transitive, irreflexive.
|Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links||W. Ahrendt, V. Klebanov, Nov 17, 2011|