Due to the globalization of Integrated Circuit (IC) supply chain, hardwa...
Features in product lines and highly configurable systems can interact i...
In this paper we consider the problem of configuring partial predicate
a...
In this paper we present a counter-example guided abstraction and
approx...