Automated testing of software tools always requires some way of comparing what the tool does against what we expect it to do. Testing compilers, for example, usually entails verifying the...
Senior Software Engineer
In charge of AdaCore's GNATcoverage product: manage QA, decide on the product directions, drive the efforts involved in pursuing these directions (new ports, new functionalities, improvements in existing features, ...). In charge of driving regular moves of our compilation toolchain to newer versions of GCC, for all our supported targets.