Software Engineering and Formal Methods

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