Our special issue improving software quality through formal methods in Springer Software Quality Journal is out. The special issue is devoted to the use of formal methods for improving the quality of software systems. The included articles focus on the use of runtime techniques, such as runtime verification and trace analysis. Following an open call, this section resulted in 3 papers that were selected out of 8 papers after a careful and rigorous reviewing process.
The special issue has been co-edited with Leonardo Mariani from University of Milano Bicocca.
The guest editors thank the authors and the reviewers.
See the full Preface on Springer website.