Finding inputs that minimize how much a system satisfies its specification, used to test if safety rules can be broken.