@inproceedings{ff859cddc75345f588df1955b6416274,
title = "SeBip: A Symbolic Executor for BIP",
abstract = "This paper presents SeBip, the first symbolic executor for component-based systems modeled in BIP. 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. An experimental evaluation has been carried out to demonstrate the scalability of SeBip on detecting bugs.",
keywords = "BIP, Symbolic execution, partial order reduction",
author = "Wang Qiang and Simon Bliudze",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015 ; Conference date: 09-12-2015 Through 11-12-2015",
year = "2016",
month = jan,
day = "15",
doi = "10.1109/ICECCS.2015.26",
language = "English",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "174--177",
booktitle = "Proceedings - 2015 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015",
}