Wuliang Sun, Benoît Combemale, Robert B. France. Towards the use of slicing techniques for an efficient invariant checking. In Robert B. France, Sudipto Ghosh, Gary T. Leavens, editors, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. pages 23-24, ACM, 2015. [doi]
Abstract is missing.