At RDS (Research and Development for Software Verification and Validation), we develop tools and techniques to increase the productivity of software developers - especially in highly regulated industries. Our main topics are automated test generatio…