L'équipe VASCO fait partie de l'axe GLSI (Génie Logiciel et Systèmes d'Information) du laboratoire LIG (Laboratoire d'Informatique de Grenoble).

L'équipe VASCO mène ses recherches dans les domaines de la modélisation et du test de systèmes logiciels. Les recherches en modélisation portent principalement sur l'intégration de modèles graphiques et formels, qui est à l'origine de l'outil Meeduse, outil de conception de Domain Specific Languages (DSLs) par l'animation de spécifications formelles, et l'inférence de modèles, où l'équipe propose de nouveaux algorithmes pour inférer des modèles à partir de traces d’exécution.

Les recherches en test logiciel portent notamment sur la réduction et la prioritisation de suites de test, ainsi que sur le test d'applications à base d'intelligence artificielle.

L'équipe s'intéresse ainsi aux interactions possibles entre le Génie Logiciel et l'Intelligence Artificielle. Ces deux domaines étaient au coeur du projet ANR Philae. Plus récemment, nous nous sommes intéressés à l’utilisation de LLMs pour générer du code ou des tests.

Rapports d'activités