Also in the Debugging book by the same authors: https://www.debuggingbook.org/html/DynamicInvariants.html
Also in the Debugging book by the same authors: https://www.debuggingbook.org/html/DynamicInvariants.html