As software systems become increasingly complex and expensive to build, software engineers are challenged with various options to meet these challenges by turning towards pre-build software components known as Commercial Off-The-Shelf (COTS) software. COTS software are usually acquired as binary components, and sometimes their behavior is poorly specified. One of the major challenges faced by software engineers when developing systems by integrating COTS is guaranteeing that the components correctly integrate with each other. In particular, to ensure the interaction behavior of these...