Bowen Pu

According to our database, Bowen Pu authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

Haitao Zhang, Bowen Pu

Proceedings of the Theoretical Aspects of Software Engineering, 2022