Preface

It is our greatest honor to edit this special issue entitled "Software Engineering for High-Confidence Systems", for the Journal of Computer Science and Technology (JCST). Our main objective is to disseminate inspiring work that addresses the problem of developing