1. SoSyM reflections of 2016: a journal status report

   • Geri Georg
   • Jeff Gray
   • Martin Schindler

   Editorial 23 January 2017 Pages: 1 - 4

   

2. Introduction to the Software Engineering and Formal Methods 2013 special issue

   • Mario Bravetti
   • Robert M. Hierons
   • Mercedes G. Merayo

   Guest Editorial 07 May 2015 Pages: 5 - 6

3. Constraint-based test generation for automotive operating systems

   • Yunja Choi
   • Taejoon Byun

   Special Section Paper 06 January 2015 Pages: 7 - 24

   

4. Inferring physical units in formal models

   • Sebastian Krings
   • Michael Leuschel

   Special Section Paper 26 March 2015 Pages: 25 - 47

   

5. Introduction to the theme issue on variability modeling of software-intensive systems

   • Andrzej Wąsowski
   • Thorsten Weyer

   Editorial 13 October 2015 Pages: 49 - 51

6. Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems

   • Andrzej Wąsowski
   • Thorsten Weyer

   Erratum 16 November 2015 Pages: 53 - 53

7. Analysing the Linux kernel feature model changes using FMDiff

   • Nicolas Dintzner
   • Arie van Deursen
   • Martin Pinzger

   Theme Section Paper Open access 22 May 2015 Pages: 55 - 76

   

8. The shape of feature code: an analysis of twenty C-preprocessor-based systems

   • Rodrigo Queiroz
   • Leonardo Passos
   • Krzysztof Czarnecki

   Theme Section Paper 16 July 2015 Pages: 77 - 96

   

9. Empirical assessment of two approaches for specifying software product line use case scenarios

   • Rodrigo Bonifácio
   • Paulo Borba
   • Paola Accioly

   Theme Section Paper 26 May 2015 Pages: 97 - 123

   

10. Specification and automated validation of staged reconfiguration processes for dynamic software product lines

    • Malte Lochau
    • Johannes Bürdek
    • Andy Schürr

    Theme Section Paper 09 May 2015 Pages: 125 - 152

    

11. Statistical prioritization for software product line testing: an experience report

    • Xavier Devroey
    • Gilles Perrouin
    • Patrick Heymans

    Theme Section Paper 24 July 2015 Pages: 153 - 171

    

12. Variability testing in the wild: the Drupal case study

    • Ana B. Sánchez
    • Sergio Segura
    • Antonio Ruiz-Cortés

    Theme Section Paper 19 April 2015 Pages: 173 - 194

    

13. Analysing the cognitive effectiveness of the WebML visual notation

    • David Granada
    • Juan Manuel Vara
    • Esperanza Marcos

    Regular Paper 06 January 2015 Pages: 195 - 227

    

14. Eugenia: towards disciplined and automated development of GMF-based graphical model editors

    • Dimitrios S. Kolovos
    • Antonio García-Domínguez
    • Richard F. Paige

    Regular Paper 26 February 2015 Pages: 229 - 255

    

15. Integrating business process simulation and information system simulation for performance prediction

    • Robert Heinrich
    • Philipp Merkle
    • Barbara Paech

    Regular Paper 06 March 2015 Pages: 257 - 277

    

16. An empirical approach toward the resolution of conflicts in goal-oriented models

    • Jameleddine Hassine
    • Daniel Amyot

    Regular Paper 18 April 2015 Pages: 279 - 306