One paper accepted at SPLC'13

Our paper “Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study” (João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir and Benoit Baudry) has been accepted at the SPLC’13 conference. It will be presented in Tokyo, Japan in August.