Skip to Main content Skip to Navigation
Journal articles

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

Abstract : This 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.
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.inria.fr/hal-02548907
Contributor : Yliès Falcone <>
Submitted on : Tuesday, April 21, 2020 - 9:17:26 AM
Last modification on : Thursday, April 30, 2020 - 9:13:18 AM

File

sqj-editorial-author.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Yliès Falcone, Leonardo Mariani. Preface to the Special Section Issue on Improving Software Quality through Formal Methods. Software Quality Journal, Springer Verlag, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩. ⟨hal-02548907⟩

Share

Metrics

Record views

39

Files downloads

138