@inproceedings{boudhiba:cea-01810693, TITLE = {{Symbolic execution of transition systems with function summaries}}, AUTHOR = {Boudhiba, Imen and Gaston, Christophe and Le Gall, Pascale and Pr{\'e}vosto, Virgile}, URL = {https://cea.hal.science/cea-01810693}, BOOKTITLE = {{11th International Conference on Tests \& Proofs}}, ADDRESS = {Marburg, Germany}, YEAR = {2017}, MONTH = Jul, KEYWORDS = {Input Output Symbolic Transition Systems ; Functions sum- maries ; Symbolic Execution ; Transition coverage}, PDF = {https://cea.hal.science/cea-01810693/file/TAP17-Rev-BGLP.pdf}, HAL_ID = {cea-01810693}, HAL_VERSION = {v1}, }