Preface to the Special Section Issue on Improving Software Quality through Formal Methods

International audienceThis special issue is dedicated to the presentation of novel results in the scope of formal methods for the verification and testing of software. The papers included in the special issue showcase approaches that successfully combine a rigorous and formal background with the capability to address real software applications in realistic settings