dynamic invariants

Dynamic invariant detection for relational databases
Despite the many automated techniques that benefit from dynamic invariant detection, to date, none are able to capture and detect …
Cite DOI URL