Message from the QRS 2018 Steering Committee Chairs

摘要

The following topics are dealt with: program testing; program debugging; software maintenance; software quality; security of data; formal specification; program diagnostics; software metrics; formal verification; and learning (artificial intelligence).