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 introduced have been rigorously reviewed and chosen from 89 submissions. The papers cowl a big number of matters, together with testing, formal verification, runtime verification, program evaluation, malware, and assault detection,and software program improvement and evolution and tackle a variety of techniques, equivalent to cyber-bodily techniques, UAVs, autonomous robots, and function-oriented and working techniques. They are organized within the following topical sections: cyber-bodily techniques; function-oriented and versioned techniques; cooperative asynchronous techniques; mannequin inference; ontologies and machine studying; mannequin-primarily based testing; program evaluation; relating fashions and implementations; runtime verification; working techniques; safety; and verification.