Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge

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

doi:10.1145/3183440.3183455

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

Reference:

Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner, "Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge", In 40th International Conference on Software Engineering (ICSE 2018), ACM, 2018, may.

Bibtex Entry:

@InProceedings{chowdhury2018icse,
  author    = {Shafiul Azam Chowdhury and Soumik Mohian and Sidharth Mehra and Siddhant Gawsane and Taylor T. Johnson and Christoph Csallner },
  title     = {Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge},
  booktitle = {40th International Conference on Software Engineering (ICSE 2018)},
  year      = {2018},
  month     = may,
  publisher = {ACM},
  file      = {http://www.taylortjohnson.com/research/chowdhury2018icse.pdf},
  owner     = {tjohnson},
  doi = {10.1145/3183440.3183455},
}