Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.
Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.
Introduit le programme de recherche suisse Nano-Tera, mettant l'accent sur l'ingénierie de systèmes à plusieurs échelles pour la santé, la sécurité, l'énergie et l'environnement.
Explore les systèmes de test des acteurs, couvrant les principes, le kit de test d'Akka, les dépendances, l'interaction avec le parent et les hiérarchies des acteurs.
