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

Author(s):
Antonello Celano, Alexandre Langenieux
Location:
Europe
Year:
2022
Type:
Paper
Format:
pdf