Djemai Kebbal, Pascal Sainrat. Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis. In Frank Mueller, editor, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany. Volume 06902 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{KebbalS06,
title = {Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis},
author = {Djemai Kebbal and Pascal Sainrat},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/675},
tags = {analysis, Pascal},
researchr = {https://researchr.org/publication/KebbalS06},
cites = {0},
citedby = {0},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany},
editor = {Frank Mueller},
volume = {06902},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}