Pinned Loading

1. rbac-bt rbac-bt Public

   RBAC Policy-Based Testing (RBAC-BT) is a tool for RBAC policy testing using Finite State Machines (FSM).

   TeX 1

2. learningFFSM learningFFSM Public

   The FFSM_Diff project - An automated approach for learning family models from software product lines

   Java 1

3. DynamicLstarM DynamicLstarM Public

   Java