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

by SA Chowdhury, S Mohian, S Mehra, Taylor T. Johnson and C Csallner

Reference:

SA Chowdhury, S Mohian, S Mehra, Taylor T. Johnson and C Csallner, "Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge", In 40th International Conference on Software Engineering (ICSE'18), ACM, pp. 981–992, 2018.

Bibtex Entry:

@inproceedings{chowdhury2018icse,
  title = {Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge},
  author = {SA Chowdhury and S Mohian and S Mehra and Taylor T. Johnson and C Csallner},
  year = {2018},
  month = may,
  booktitle = {40th International Conference on Software Engineering (ICSE'18)},
  pages = {981--992},
  publisher = {ACM},
  doi = {10.1145/3180155.3180231},
  publabel = {C21},
  pubtype = {C},
  dblp = {conf/icse/ChowdhuryMMGJC18},
  s2id = {47019892},
  pdf = "research/chowdhury2018icse.pdf",
}