Software Engineering and Formal Methods: 17th International Conference; SEFM 2019; Oslo; Norway; September 18–20; 2019; Proceedings

Specifications

Book Description

This ebook Software Engineering and Formal Methods (PDF) constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods; SEFM 2019; held in Oslo; Norway; in September 2019.

The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics; including testing; formal verification; runtime verification; program analysis; malware; and attack detection;and software development and evolution and address a wide range of systems; such as cyber-physical systems; UAVs; autonomous robots; and feature-oriented and operating systems. They are organized in the following topical sections: cyber-physical systems; feature-oriented and versioned systems; cooperative asynchronous systems; model inference; ontologies and machine learning; model-based testing; program analysis; relating models and implementations; runtime verification; operating systems; security; and verification.