CS743 Final Exam:
Wednesday Dec. 18, 2019  12:15pm -- 2:15pm Centennial 3201

OPEN NOTES

1) Proposition Logic  -- rewrite English sentence, inference rules, proof

2) Predicate Logic  -- rewrite English sentence, inference rules, proof

3) Hoare Logic :

  3-1) code equivalence
  3-2) Loop invariant


What the main topic of the lecture?
How is related with testing/validation we discussed?
How is this topic/technique used in practice?

4) Fault-based Testing
   4-1) Mutation Testing 
   4-2) Fuzz Testing

5) Test Adequacy

6) Security Testing

7) Metrics

8) Testing Real-time Software Systems