Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems

Publication
In Proceedings of the 10th International Conference on Software Paradigm Trends (ICSOFT-PT), Colmar, Alsace, France, 20-22 July, 2015, pp 53-63
Date