Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Title:
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author:
Calinescu, Radu. editor.
ISBN:
9783319229690
Edition:
1st ed. 2015.
Physical Description:
XI, 369 p. 84 illus. online resource.
Series:
Programming and Software Engineering, 9276
Contents:
Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB Runtime Verification -- Towards Domain Refinement for UML/OCL Bounded Verification -- Testing -- Efficient Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification of Distributed Algorithms Solving Problems with Optimal Substructure -- Formal Specification and Proof -- From Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface -- A Formal Study of Backward Compatible Dynamic Software Updates -- Testing and Model Checking -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques for Memory-Efficient Model Checking of C and C++ Code -- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating None-Plans in Order to Find Plans -- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter -- From Featured Transition Systems to Modal Transition Systems with Variability Constraints -- An extensible operational semantics for UML activity diagrams.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518840-1001 XX(518840.1)
Searching...

On Order