28 January 2021

Verifiability Talk 3: Using Mutation in Systematic Software Testing for Robotics (Rob Hierons, Sheffield)

16:00 – 17:00

Duis sed odio sit amet nibh vulputate cursus a sit amet mauris. Morbi accumsan ipsum velit. Nam nec tellus a odio tincidunt auctor a ornare odio.

Sed non mauris vitae erat consequat auctor eu in elit. Class aptent taciti sociosqu ad litora torquent per conubia nostra, per inceptos himenaeos.