Description
New CSD03 candidate: with additional diffs proposing to address comments from Kevin. Visible diffs combine previous diffs from the CD03 proposal posted on 2/23.
In particular, see the new proposed treatment of Test Assertion semantics, now split in 3.2.4 (for TA semantics) and 3.3 (for derived Test Case semantics).