Towards Automatic Assertion Refinement for Separation Logic | IEEE Conference Publication | IEEE Xplore