Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science, 10886)

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse. Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 We Need a Testability Transformation Semantics (Mark Harman)....Pages 3-17 Front Matter ....Pages 19-19 From Software Specifications to Constraint Programming (Stefan Hallerstede, Miran Hasanagić, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel)....Pages 21-36 Automated Specification Extraction and Analysis with Specstractor (Christoph Schulze, Rance Cleaveland, Mikael Lindvall)....Pages 37-53 Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation (Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin)....Pages 54-69 Front Matter ....Pages 71-71 Program Verification for Exception Handling on Active Objects Using Futures (Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen)....Pages 73-88 Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (Stefan Schupp, Erika Ábrahám)....Pages 89-104 FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity (Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim)....Pages 105-120 Front Matter ....Pages 121-121 Monte Carlo Tree Search for Finding Costly Paths in Programs (Kasper Luckow, Corina S. Păsăreanu, Willem Visser)....Pages 123-138 A Cloud-Based Execution Framework for Program Analysis (Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Luckow, Rody Kersten, Gabor Karsai)....Pages 139-154 Cross-Architecture Lifter Synthesis (Rijnard van Tonder, Claire Le Goues)....Pages 155-170 Front Matter ....Pages 171-171 Counterexample Simplification for Liveness Property Violation (Gianluca Barbon, Vincent Leroy, Gwen Salaün)....Pages 173-188 Online Enumeration of All Minimal Inductive Validity Cores (Jaroslav Bendík, Elaheh Ghassabani, Michael Whalen, Ivana Černá)....Pages 189-204 \(\mathcal {P}revent\): A Predictive Run-Time Verification Framework Using Statistical Learning (Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister)....Pages 205-220 Front Matter ....Pages 221-221 Formal Verification of Platoon Control Strategies (Adnan Rashid, Umair Siddique, Osman Hasan)....Pages 223-238 Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover (Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson)....Pages 239-253 Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (Yunja Choi)....Pages 254-268 Front Matter ....Pages 269-269 Graph-Based Shape Analysis Beyond Context-Freeness (Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll)....Pages 271-286 Facilitating Component Reusability in Embedded Systems with GPUs (Gabriel Campeanu)....Pages 287-301 Back Matter ....Pages 303-303