Residual Runtime Verification with BISM
Le projet Residual Runtime Verification with BISM est une implémentation en tant que plugin pour l'outil d'instrumentation Java BISM. Il permet la vérification de propriétés à l'exécution en instrumentant le code pour capturer des événements de programme spécifiques et détecter les exécutions non conformes.
Dépôt de code
Cas d'utilisation métiers
- Instrumentation de code pour la surveillance et l'analyse : rechercher des initiatives proches
- Vérification de propriétés à l'exécution dans des programmes Java : rechercher des initiatives proches
- Analyse de la couverture de test et de la conformité aux propriétés : rechercher des initiatives proches
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le lundi 18 mars 2024 à 23:02:34