Posted: January 7th, 2022
(Challenging!) Find or write a small SMV specification and a
corresponding Java implementation. Restate the program logic in
SPEC assertions. Mutate the assertions systematically, and collect the
traces from (nonequivalent) mutants. Use these traces to test the
Place an order in 3 easy steps. Takes less than 5 mins.