Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. These trends ask for techniques and tools for developing reliable and autonomous software which can support software engineers in their efforts.