1. In this issue

   • Rachel Harrison

   EditorialNotes 26 May 2020 Pages: 369 - 370

2. Increasing validity through replication: an illustrative TDD case

   • Adrian Santos
   • Sira Vegas
   • Natalia Juristo

   OriginalPaper Open access 26 March 2020 Pages: 371 - 395

   

3. Enhanced regression testing technique for agile software development and continuous integration strategies

   • Sadia Ali
   • Yaser Hafeez
   • Shunkun Yang

   OriginalPaper 13 September 2019 Pages: 397 - 423

   

4. What are the characteristics of popular APIs? A large-scale study on Java, Android, and 165 libraries

   • Caroline Lima
   • Andre Hora

   OriginalPaper 29 November 2019 Pages: 425 - 458

   

5. Automatic software refactoring: a systematic literature review

   • Abdulrahman Ahmed Bobakr Baqais
   • Mohammad Alshayeb

   ReviewPaper 03 December 2019 Pages: 459 - 502

   

6. Special issue on software quality of advanced software applications

   • Lefteris Angelis
   • Tomas Bures

   EditorialNotes 27 April 2020 Pages: 503 - 504

7. Quality attribute trade-offs in the embedded systems industry: an exploratory case study

   • Darius Sas
   • Paris Avgeriou

   OriginalPaper Open access 04 December 2019 Pages: 505 - 534

   

8. A model-driven engineering approach for supporting questionnaire-based gap analysis processes through application lifecycle management systems

   • Domenico Amalfitano
   • Vincenzo De Simone
   • Anna Rita Fasolino

   OriginalPaper 17 January 2020 Pages: 535 - 565

   

9. Component attributes and their importance in decisions and component selection

   • Panagiota Chatzipetrou
   • Efi Papatheocharous
   • Tony Gorschek

   OriginalPaper Open access 07 September 2019 Pages: 567 - 593

   

10. An automated approach to assess the similarity of GitHub repositories

    • Phuong T. Nguyen
    • Juri Di Rocco
    • Davide Di Ruscio

    OriginalPaper 15 February 2020 Pages: 595 - 631

    

11. Mining Association Rules from Code (MARC) to support legacy software management

    • Christos Tjortjis

    OriginalPaper 19 December 2019 Pages: 633 - 662

    

12. A systematic mapping study on best practices for domain-specific modeling

    • Gerald Czech
    • Michael Moser
    • Josef Pichler

    OriginalPaper 10 September 2019 Pages: 663 - 692

    

13. Preface to the special section on improving software quality through formal methods

    • Yliès Falcone
    • Leonardo Mariani

    EditorialNotes 17 February 2020 Pages: 693 - 694

14. Verifying temporal specifications of Java programs

    • Francesco Spegni
    • Luca Spalazzi
    • Andreas Bollin

    OriginalPaper Open access 02 July 2020 Pages: 695 - 744

    

15. Runtime verification of real-time event streams under non-synchronized arrival

    • Martin Leucker
    • César Sánchez
    • Alexander Schramm

    OriginalPaper Open access 18 April 2020 Pages: 745 - 787

    

16. Model generation of component-based systems

    • Sébastien Salva
    • Elliott Blot

    OriginalPaper 02 January 2020 Pages: 789 - 819

    

17. Special section on testing and repair for software engineering technologies and applications

    • Ian Bayley
    • Yan Cai
    • Patricia Machado

    EditorialNotes 01 February 2020 Pages: 821 - 822

18. Improving dynamic domain reduction test data generation method by Euler/Venn reasoning system

    • Esmaeel Nikravan
    • Saeed Parsa

    OriginalPaper 22 November 2019 Pages: 823 - 851

    

19. Extending symbolic execution for automated testing of stored procedures

    • Maryam Abdul Ghafoor
    • Muhammad Suleman Mahmood
    • Junaid Haroon Siddiqui

    OriginalPaper 10 July 2019 Pages: 853 - 887