Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs.

Haitao Zhang, Bowen Pu

Browse the full TASE paper archive.