Improving Design Patterns Finder Precision Using a Model Checking Approach

Publication
In Proceedings of CEUR-WS, CAiSE Forum, Stockolm, Sweden, 2015, pp 113-120
Date