Charles Explorer logo
🇬🇧

Static Checking for Missing Bindings of Components

Publication

Abstract

Some interfaces of a component may be unused (incomplete bindings). It is possible to detect unused parts of component's behavior and consequently, a component may be used in an environment where some of its required interfaces are not satisfied.