BISM Experiments est un dépôt contenant des expériences menées pour évaluer les performances de BISM, un framework léger d'instrumentation de programmes Java écrit en Java. Le framework suit une approche de programmation orientée aspect et fournit une riche API pour faciliter l'instrumentation, y compris les points de jonction, le contexte dynamique et statique, et les méthodes d'instrumentation.

BISM est un outil de génie logiciel permettant l'instrumentation de programmes Java à l'aide d'un langage de transformation haut niveau. Il génère des graphiques de flux de contrôle pour tous les méthodes et fournit des propriétés de flux de contrôle telles que la capture de branches de sauts conditionnels et la récupération de blocs de base successeurs et prédécesseurs. Il permet également la composition de plusieurs transformateurs et la détection automatique de leurs collisions dans le programme de base.

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.