The 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 will take place at Scuola Superiore Sant'Anna, Pisa, Italy, from June 13, 2016 to June 17, 2016.
During the "Uses of Ada" industrial session (Wednesday 15th June 2016, 11:30 - 13:00), Ian Broster from Rapita will be presenting a paper: "Automated Testing of SPARK Ada Contracts (AUTOSAC)".
Rapita will be exhibiting at the event, so come and visit our booth if you are attending.