Radu Calinescu, Bernhard Rumpe
Proceedings of the 13th International Conference on Software Engineering and Formal Methods
SEFM, 2015.

@proceedings{SEFM-2015,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-319-22969-0",
	editor        = "Radu Calinescu and Bernhard Rumpe",
	isbn          = "978-3-319-22968-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}",
	volume        = 9276,
	year          = 2015,
}

Contents (25 items)

6 ×#verification
5 ×#testing
4 ×#source code
3 ×#formal method
3 ×#using
2 ×#bound
2 ×#c
2 ×#distributed
2 ×#generative
2 ×#interface

SEFM-2015-JonesY #abstraction #reasoning #using

Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.

SEFM-2015-LohstrohL #interface #internet

An Interface Theory for the Internet of Things (ML, EAL), pp. 20–34.

SEFM-2015-Muhlberg0DLP #learning #source code #verification

Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.

SEFM-2015-Vanspauwen0 #encryption #implementation #library #protocol #specification #verification

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications (GV, BJ), pp. 53–68.

SEFM-2015-AmighiDBH #source code #specification #verification

Specification and Verification of Atomic Operations in GPGPU Programs (AA, SD, SB, MH), pp. 69–83.

SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification

History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.

SEFM-2015-ColomboDF #runtime #verification

Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification

Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.

SEFM-2015-HusterBELRKR #performance #testing

Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.

SEFM-2015-SavaryFLL #modelling #robust #testing #using

Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.

SEFM-2015-HanazumiM #on the #testing

On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.

SEFM-2015-Jakobs #clustering #configuration management #reduction #validation

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.

SEFM-2015-KamaliHKP #analysis #distributed #formal method

Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.

SEFM-2015-VollingerR #algorithm #certification #distributed #problem

Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.

SEFM-2015-KringsBL #proving

From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.

SEFM-2015-LarmuseauC #formal method #interface

Formalizing a Secure Foreign Function Interface (AL, DC), pp. 215–230.

SEFM-2015-ShenB #formal method

A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.

SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using

Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.

SEFM-2015-RockaiSB #c #c++ #model checking

Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.

SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.

SEFM-2015-SukkerdGS #cyber-physical

Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.

SEFM-2015-KnapikNP #generative #order

Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.

SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter

Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.

SEFM-2015-BeekDGMP #constraints #variability

From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.

SEFM-2015-DawC #diagrams #process #semantics #uml

An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.