Einar Broch Johnsen, Ina Schaefer
Proceedings of the 16th International Conference on Software Engineering and Formal Methods
SEFM, 2018.

@proceedings{SEFM-2018,
	doi           = "10.1007/978-3-319-92970-5",
	editor        = "Einar Broch Johnsen and Ina Schaefer",
	isbn          = "['978-3-319-92969-9', '978-3-319-92970-5']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Software Engineering and Formal Methods}",
	volume        = 10886,
	year          = 2018,
}

Contents (18 items)

SEFM-2018-Harman #semantics #testing

We Need a Testability Transformation Semantics (MH), pp. 3–17.

SEFM-2018-HallerstedeHKLL #constraints #programming #specification

From Software Specifications to Constraint Programming (SH, MH, SK, PGL, ML), pp. 21–36.

SEFM-2018-SchulzeCL #analysis #automation #specification

Automated Specification Extraction and Analysis with Specstractor (CS0, RC, ML), pp. 37–53.

SEFM-2018-GolraDSSG #requirements #specification #using

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation (FRG, FD, JS, IS, SG), pp. 54–69.

SEFM-2018-DinSC #exception #using #verification

Program Verification for Exception Handling on Active Objects Using Futures (CCD, RS, TCC), pp. 73–88.

SEFM-2018-SchuppA #analysis #concurrent #hybrid #multi #safety #thread

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems (SS, EÁ), pp. 89–104.

SEFM-2018-SchellhornWTKW #case study #proving

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity (GS, MW, OT, JK, HW), pp. 105–120.

SEFM-2018-LuckowPV #monte carlo #source code

Monte Carlo Tree Search for Finding Costly Paths in Programs (KSL, CSP, WV), pp. 123–138.

SEFM-2018-Balasubramanian #execution #framework #program analysis

A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.

SEFM-2018-TonderG #architecture #synthesis

Cross-Architecture Lifter Synthesis (RvT, CLG), pp. 155–170.

SEFM-2018-Barbon0S #liveness

Counterexample Simplification for Liveness Property Violation (GB, VL0, GS), pp. 173–188.

SEFM-2018-BendikGWC #induction #online

Online Enumeration of All Minimal Inductive Validity Cores (JB, EG, MWW, IC), pp. 189–204.

SEFM-2018-BabaeeGF #framework #learning #predict #runtime #statistics #using #verification

Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.

SEFM-2018-RashidSH #verification

Formal Verification of Platoon Control Strategies (AR, US, OH), pp. 223–238.

SEFM-2018-DuboisGPC #interactive #protocol #proving #theorem proving #using

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover (CD, OG, JP, MC), pp. 239–253.

SEFM-2018-Choi #automation #generative #source code #validation

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (YC), pp. 254–268.

SEFM-2018-ArndtJMN #analysis #graph

Graph-Based Shape Analysis Beyond Context-Freeness (HA, CJ, CM, TN0), pp. 271–286.

SEFM-2018-Campeanu #component #embedded #reuse #usability

Facilitating Component Reusability in Embedded Systems with GPUs (GC), pp. 287–301.