% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-05-07
% Creation time: 17-34-00
% --- Number of references
% 1
% 

@Inproceedings { 2020-schemmel-porse,
   title = {Symbolic Partial-Order Execution for Testing Multi-Threaded Programs},
   year = {2020},
   month = {7},
   tags = {symbiosys},
   url = {https://arxiv.org/pdf/2005.06688.pdf},
   web_url2 = {https://arxiv.org/abs/2005.06688},
   booktitle = {Computer Aided Verification (CAV 2020)},
   event_name = {32nd International Conference on Computer Aided Verification},
   DOI = {10.1007/978-3-030-53288-8_18},
   reviewed = {1},
   author = {Schemmel, Daniel and B{\"u}ning, Julian and Rodr{\'i}guez, C{\'e}sar and Laprell, David and Wehrle, Klaus}
}