This paper presents SeBip, the first symbolic executor for component-based systems modelled in BIP (Be- haviour, Interaction and Priority). To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of interactions to be explored during executing the system symbolically.