Using Slicing to Improve the Performance of Model Invariant Checking

  • By
by Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
View PDF
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, volume 14, 2015.
Bibtex Entry:
@article{sun15,
  TITLE = {{Using Slicing to Improve the Performance of Model Invariant Checking}},
  AUTHOR = {Sun, Wuliang and Combemale, Benoit and France, Robert B. and Blouin, Arnaud and Baudry, Benoit and Ray, Indrakshi},
  URL = {https://hal.inria.fr/hal-01179369},
  JOURNAL = {{Journal of Object Technology}},
  PAGES = {1-28},
  YEAR = {2015},
  volume={14},
  number={1},
  KEYWORDS = {MDE,metamodeling},
  PDF = {https://hal.inria.fr/hal-01179369/file/jot_coslicing_cameraready.pdf},
	X-International-Audience = {yes},
	X-Language = {EN},
	x-abbrv = {JOT},
}