Volume 14, no. 4 (September 2015)

Editorial

• Javier Luis Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot, Popularity will NOT bring more contributions to your OSS project, HTML, DOI.

Articles

• Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray, Using Slicing to Improve the Performance of Model Invariant Checking, pp. 1:1-28, PDF, DOI.