Robustness Verification Challenges in Automotive Telematics Software.

Ali Shahrokni, Robert Feldt, Fredrik Petterson, Anders Back

Browse the full SEKE paper archive.