The approach toward software testing has drastically changed over the years. It has changed from manual testing to automation frameworks and now to AI-based testing. It isn’t just about increasing ...

Quentin Ochem of AdaCore shows why software testing always misses something, and how formal verification can prove software ...

Here you can find the list of potential supervisors in Doctoral Pilot in Software Engineering. If you're interested in applying for a position in the thematic field of the pilot, you should contact a ...