This website uses cookies to help us give you the best experience when you visit our website. By continuing to use this website, you consent to our use of these cookies.
Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15) Gwen Salaün and Mariëlle Stoelinga Science of Computer Programming 132(2), 2016.