Using Slicing to Improve the Performance of Model Invariant Checking

Abstract

Publication
The Journal of Object Technology, Chair of Software Engineering
Date