«

»

Using Slicing to Improve the Performance of Model Invariant Checking

by Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
Reference:
Using Slicing to Improve the Performance of Model Invariant Checking (Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray), In Journal of Object Technology (JOT), 2015.
Bibtex Entry:
@article{sun:hal-01179369,
	Author = {Sun, Wuliang and Combemale, Benoit and France, Robert B. and Blouin, Arnaud and Baudry, Benoit and Ray, Indrakshi},
	Hal_Id = {hal-01179369},
	Journal = {{Journal of Object Technology (JOT)}},
	Pages = {28},
	Pdf = {https://hal.inria.fr/hal-01179369/file/jot_coslicing_cameraready.pdf},
	Title = {{Using Slicing to Improve the Performance of Model Invariant Checking}},
	Url = {https://hal.inria.fr/hal-01179369},
	Year = {2015},
	Bdsk-Url-1 = {https://hal.inria.fr/hal-01179369}}