Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/tase/ZhangP22
AU - Zhang, Haitao
AU - Pu, Bowen
TI - Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs.
BT - Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
SP - 205
EP - 219
PY - 2022//
DO - 10.1007/978-3-031-10363-6_15
UR - https://doi.org/10.1007/978-3-031-10363-6_15
ER -
