Increasing validity through replication: an illustrative TDD case Adrian SantosSira VegasNatalia Juristo OriginalPaper Open access 26 March 2020 Pages: 371 - 395
Enhanced regression testing technique for agile software development and continuous integration strategies Sadia AliYaser HafeezShunkun Yang OriginalPaper 13 September 2019 Pages: 397 - 423
What are the characteristics of popular APIs? A large-scale study on Java, Android, and 165 libraries Caroline LimaAndre Hora OriginalPaper 29 November 2019 Pages: 425 - 458
Automatic software refactoring: a systematic literature review Abdulrahman Ahmed Bobakr BaqaisMohammad Alshayeb ReviewPaper 03 December 2019 Pages: 459 - 502
Special issue on software quality of advanced software applications Lefteris AngelisTomas Bures EditorialNotes 27 April 2020 Pages: 503 - 504
Quality attribute trade-offs in the embedded systems industry: an exploratory case study Darius SasParis Avgeriou OriginalPaper Open access 04 December 2019 Pages: 505 - 534
A model-driven engineering approach for supporting questionnaire-based gap analysis processes through application lifecycle management systems Domenico AmalfitanoVincenzo De SimoneAnna Rita Fasolino OriginalPaper 17 January 2020 Pages: 535 - 565
Component attributes and their importance in decisions and component selection Panagiota ChatzipetrouEfi PapatheocharousTony Gorschek OriginalPaper Open access 07 September 2019 Pages: 567 - 593
An automated approach to assess the similarity of GitHub repositories Phuong T. NguyenJuri Di RoccoDavide Di Ruscio OriginalPaper 15 February 2020 Pages: 595 - 631
Mining Association Rules from Code (MARC) to support legacy software management Christos Tjortjis OriginalPaper 19 December 2019 Pages: 633 - 662
A systematic mapping study on best practices for domain-specific modeling Gerald CzechMichael MoserJosef Pichler OriginalPaper 10 September 2019 Pages: 663 - 692
Preface to the special section on improving software quality through formal methods Yliès FalconeLeonardo Mariani EditorialNotes 17 February 2020 Pages: 693 - 694
Verifying temporal specifications of Java programs Francesco SpegniLuca SpalazziAndreas Bollin OriginalPaper Open access 02 July 2020 Pages: 695 - 744
Runtime verification of real-time event streams under non-synchronized arrival Martin LeuckerCésar SánchezAlexander Schramm OriginalPaper Open access 18 April 2020 Pages: 745 - 787
Model generation of component-based systems Sébastien SalvaElliott Blot OriginalPaper 02 January 2020 Pages: 789 - 819
Special section on testing and repair for software engineering technologies and applications Ian BayleyYan CaiPatricia Machado EditorialNotes 01 February 2020 Pages: 821 - 822
Improving dynamic domain reduction test data generation method by Euler/Venn reasoning system Esmaeel NikravanSaeed Parsa OriginalPaper 22 November 2019 Pages: 823 - 851
Extending symbolic execution for automated testing of stored procedures Maryam Abdul GhafoorMuhammad Suleman MahmoodJunaid Haroon Siddiqui OriginalPaper 10 July 2019 Pages: 853 - 887