Conference on software engineering and formal methods sefm

This paper also presents an algorithm to efficiently calculate the probabilistic coverage of both aggregate and non-aggregate coverage goals. Experiments show that in most cases the algorithm is very efficient compared to the brute force approach.

Model-based testing is also the topic of the final paper in this special section. A mutant is a small modification of the description of the system under test, and the aim of mutation-based test generation is to construct tests that reveal these modifications.

The authors formalize several notions of mutation killing for both deterministic and nondeterministic models. In addition to reusing an existing model checking tool to generate test cases for hyperproperties, the authors also propose an alternative approach to obtain such test cases for nondeterministic models. We would like to express our most sincere thanks to all the people who have made this special section possible: to the authors for writing the papers and incorporating all the corrections and improvements required by a thorough reviewing process; to the reviewers for kindly contributing their time and effort to ensure the highest quality of each paper; and to Martin Schindler for agreeing to publish this special section in Software and Systems Modeling and for his very valuable and friendly assistance in bringing it to publication.

You can also search for this author in PubMed Google Scholar. Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Reprints and Permissions. Software engineering and formal methods: SEFM special section.

Softw Syst Model 20, — Download citation. Received : 06 February Accepted : 08 February Humphrey, James Hamil, Joffrey Huguet. Difference Verification with Conditions. Hoare-Style Logic for Unstructured Programs. Synthesis of P-Stable Abstractions. Runtime Verification of Contracts with Themulus. Bersani, Matteo Rossi. Back Matter Pages Participation is free, but registering to the mailing list is required in order to receive the Zoom link for the conference and the workshops.

Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail. You will receive a final confirmation mail when registration is succesful. Registration to the mailing list is done for both the main conference and the workshops: every registered user will receive multiple Zoom links by e-mail for joining the workshops and the main conference.

The Zoom links are sent just-in-time, one day before the event. In case of technical difficulties, contact Benjamin Lion b. The social protocol for the main conference is as follows: participants can ask questions during the presentation using the chat functionality of Zoom.