«

»

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, 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 = {28},
  YEAR = {2015},
  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},
}