Software Engineering and Formal Methods

✍ Scribed by Einar Broch Johnsen, Ina Schaefer

• Publisher: Springer International Publishing
• Year: 2018
• Tongue: English
• Leaves: 306
• Series: Lecture Notes in Computer Science 10886
• Edition: 1st ed.
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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

✦ Subjects

Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; The Computing Profession; System Performance and Evaluation; Theory of Computation