Preface

The present volume contains the proceedings of the sixth IPM International Conference on Fundamentals of Software Engineering (FSEN), held in Tehran, Iran, April 22–24, 2015. This event, FSEN 2015, was organized by the School of Computer Science at the Institute for Research in Fundamental Sciences (IPM) in Iran, in cooperation with ACM SIGSOFT and IFIP WG 2.2. The topics of interest span all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The Program Committee of FSEN 2015 consisted of 46 top researchers from 38 different academic institutes in 17 countries. We received a total of 62 submissions from 22 countries out of which we have accepted 14 regular papers, 5 short papers and 6 posters. Each submission was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the conference topics. These proceedings include the regular and short papers, as well as two papers by the invited speakers. Three distinguished keynote speakers delivered their lectures at FSEN 2015. Paola Inverardi gave a talk on “Automated Integration of Service-Oriented Software Systems”, Holger Giese presented his work on “Towards Smart Systems of Systems”, and John Hughes gave a presentation on “Experiences with PropertyBased Testing: Testing the Hard Stuff and Staying Sane.” We thank the Institute for Research in Fundamental Sciences (IPM), Tehran, Iran for their financial support and local organization of FSEN 2015. We also thank the members of the Program Committee for their time, effort, and excellent contributions to making FSEN a quality conference. We thank Hossein Hojjat for his help in preparing this volume. Last but not least, our thanks go to the authors and conference participants, without whom FSEN 2015 would not have been possible.