Decomposition by Dependency

NuSMV models can be decomposed in sub modules exploiting dependencies among variables. NuSeen decomposition plugin provides

• A decomposition algorithm
• A sub module viewer

The plugin has been developed mainly by Bruno Zambelli for his Bachelor thesis at the University of Milan with prof. Elvinia Riccobene. A video explaining how the decomposition plugin works (in Italian - the English version will follow):

Papers

Arcaini, Paolo, Gargantini, Angelo, and Elvinia Riccobene
Improving model-based test generation by model decomposition
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering BERGAMO, ITALY, August 30 - September 4 (2015)
[abstract] [download the pdf file]