Automatically finding bugs in commercial cyber-physical system development tool chains.

Shafiul Azam Chowdhury

Browse the full ICSE paper archive.