CSE 331: Exams

Practice problems

Practice by unit. Try each question before opening its answers and explanations.

Unit	Problems
Specification strength	Half an integer Square root
Testing	Finding the maximum Counting values above a threshold
Hoare triples	Integer assignments Conditionals and loops
Loop checks	Doubling a number Finding the first negative
ADTs	Vote tally Set of integers
Subtyping	Counters Worklists