Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge.

Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner

Browse the full ICSE paper archive.