Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

✍ Scribed by Radu Calinescu, Bernhard Rumpe (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 371
• Series: Lecture Notes in Computer Science 9276
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

✦ Table of Contents

Front Matter....Pages I-XI
Front Matter....Pages 1-1
Reasoning about Separation Using Abstraction and Reification....Pages 3-19
An Interface Theory for the Internet of Things....Pages 20-34
Front Matter....Pages 35-35
Learning Assertions to Verify Linked-List Programs....Pages 37-52
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications....Pages 53-68
Specification and Verification of Atomic Operations in GPGPU Programs....Pages 69-83
History-Based Verification of Functional Behaviour of Concurrent Programs....Pages 84-98
Investigating Instrumentation Techniques for ESB Runtime Verification....Pages 99-107
Towards Domain Refinement for UML/OCL Bounded Verification....Pages 108-114
Front Matter....Pages 115-115
Efficient Testing of Different Loop Paths....Pages 117-131
Model-Based Robustness Testing in Event-B Using Mutation....Pages 132-147
On the Testability of Properties Patterns....Pages 148-155
Front Matter....Pages 157-157
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning....Pages 159-174
Formal Analysis of Proactive, Distributed Routing....Pages 175-189
Certification of Distributed Algorithms Solving Problems with Optimal Substructure....Pages 190-195
Front Matter....Pages 197-197
From Failure to Proof: The ProB Disprover for B and Event-B....Pages 199-214
Formalizing a Secure Foreign Function Interface....Pages 215-230
A Formal Study of Backward Compatible Dynamic Software Updates....Pages 231-248
Front Matter....Pages 249-249
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking....Pages 251-267
Techniques for Memory-Efficient Model Checking of C and C++ Code....Pages 268-282
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP....Pages 283-290
Front Matter....Pages 291-291
Task Planning of Cyber-Human Systems....Pages 293-309
Generating None-Plans in Order to Find Plans....Pages 310-324
Front Matter....Pages 325-325
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter....Pages 327-343
From Featured Transition Systems to Modal Transition Systems with Variability Constraints....Pages 344-359
An Extensible Operational Semantics for UML Activity Diagrams....Pages 360-368
Back Matter....Pages 369-369

✦ Subjects

Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Computer Communication Networks; Programming Techniques