Today, I’m at the MTV2 day of the French working group on software engineering. The MTV2 day deals with testing methods for verification and validation of software systems.
I’ll present our recent work on Monitoring Decentralised Specifications, which I have also recently presented at ISSTA 2017.
The presented slides can be downloaded by following this link.
The program of the day is available by following this link.