SALVO: Automated Generation of Diversified Tests for Self-driving Cars from Existing Maps | IEEE Conference Publication | IEEE Xplore