Відправити по sms: Equivalence checking using trace partitioning