Mining Function Specifications (for dynamic invariants)

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