Volume 29, Issue 3 | Software Quality Journal

Search all Software Quality Journal articles

Volume 29, Issue 3

September 2021

Improving Software Quality Through Program Analysis

Issue Editors:

Matthias Güdemann,
Leonardo Mariani

5 articles in this issue

Preface to the special issue on improving software quality through program analysis
Matthias Güdemann
Leonardo Mariani
EditorialNotes Open access 15 June 2021 Pages: 595 - 596
Model-based test case generation from UML sequence diagrams using extended finite state machines
Mauricio Rocha
Adenilso Simão
Thiago Sousa
OriginalPaper 17 March 2021 Pages: 597 - 627
Verification supported refactoring of embedded sql
Mirko Spasić
Milena Vujošević Janičić
OriginalPaper 18 June 2020 Pages: 629 - 665
Classification of application reviews into software maintenance tasks using data mining techniques
Assem Al-Hawari
Hassan Najadat
Raed Shatnawi
OriginalPaper 28 August 2020 Pages: 667 - 703
Reductions and abstractions for formal verification of distributed round-based algorithms
Raul Barbosa
Alcides Fonseca
Filipe Araujo
OriginalPaper 24 February 2021 Pages: 705 - 731