How to achieve verification closure of configurable code by combining static analysis and dynamic testing