Software Testing in Autonomous Cars