SoSyM reflections of 2016: a journal status report Geri GeorgJeff GrayMartin Schindler Editorial 23 January 2017 Pages: 1 - 4
Introduction to the Software Engineering and Formal Methods 2013 special issue Mario BravettiRobert M. HieronsMercedes G. Merayo Guest Editorial 07 May 2015 Pages: 5 - 6
Constraint-based test generation for automotive operating systems Yunja ChoiTaejoon Byun Special Section Paper 06 January 2015 Pages: 7 - 24
Inferring physical units in formal models Sebastian KringsMichael Leuschel Special Section Paper 26 March 2015 Pages: 25 - 47
Introduction to the theme issue on variability modeling of software-intensive systems Andrzej WąsowskiThorsten Weyer Editorial 13 October 2015 Pages: 49 - 51
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems Andrzej WąsowskiThorsten Weyer Erratum 16 November 2015 Pages: 53 - 53
Analysing the Linux kernel feature model changes using FMDiff Nicolas DintznerArie van DeursenMartin Pinzger Theme Section Paper Open access 22 May 2015 Pages: 55 - 76
The shape of feature code: an analysis of twenty C-preprocessor-based systems Rodrigo QueirozLeonardo PassosKrzysztof Czarnecki Theme Section Paper 16 July 2015 Pages: 77 - 96
Empirical assessment of two approaches for specifying software product line use case scenarios Rodrigo BonifácioPaulo BorbaPaola Accioly Theme Section Paper 26 May 2015 Pages: 97 - 123
Specification and automated validation of staged reconfiguration processes for dynamic software product lines Malte LochauJohannes BürdekAndy Schürr Theme Section Paper 09 May 2015 Pages: 125 - 152
Statistical prioritization for software product line testing: an experience report Xavier DevroeyGilles PerrouinPatrick Heymans Theme Section Paper 24 July 2015 Pages: 153 - 171
Variability testing in the wild: the Drupal case study Ana B. SánchezSergio SeguraAntonio Ruiz-Cortés Theme Section Paper 19 April 2015 Pages: 173 - 194
Analysing the cognitive effectiveness of the WebML visual notation David GranadaJuan Manuel VaraEsperanza Marcos Regular Paper 06 January 2015 Pages: 195 - 227
Eugenia: towards disciplined and automated development of GMF-based graphical model editors Dimitrios S. KolovosAntonio García-DomínguezRichard F. Paige Regular Paper 26 February 2015 Pages: 229 - 255
Integrating business process simulation and information system simulation for performance prediction Robert HeinrichPhilipp MerkleBarbara Paech Regular Paper 06 March 2015 Pages: 257 - 277
An empirical approach toward the resolution of conflicts in goal-oriented models Jameleddine HassineDaniel Amyot Regular Paper 18 April 2015 Pages: 279 - 306