Skip to main content

Software Quality Journal

Ausgabe 2/2020

Inhalt (19 Artikel)

In this issue

Rachel Harrison

Open Access

Increasing validity through replication: an illustrative TDD case

Adrian Santos, Sira Vegas, Fernando Uyaguari, Oscar Dieste, Burak Turhan, Natalia Juristo

Automatic software refactoring: a systematic literature review

Abdulrahman Ahmed Bobakr Baqais, Mohammad Alshayeb

Open Access

Component attributes and their importance in decisions and component selection

Panagiota Chatzipetrou, Efi Papatheocharous, Krzysztof Wnuk, Markus Borg, Emil Alégroth, Tony Gorschek

An automated approach to assess the similarity of GitHub repositories

Phuong T. Nguyen, Juri Di Rocco, Riccardo Rubei, Davide Di Ruscio

Open Access

Verifying temporal specifications of Java programs

Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin

Open Access

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

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Model generation of component-based systems

Sébastien Salva, Elliott Blot

Extending symbolic execution for automated testing of stored procedures

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Premium Partner