SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic

Date: June 25, 2019