Subject: Formal methods for software testing

14 general knowledge quiz questions. It should take around 3 minutes to complete all the questions.