Login / Signup

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

Shafiul Azam ChowdhurySoumik MohianSidharth MehraSiddhant GawsaneTaylor T. JohnsonChristoph Csallner
Published in: ICSE (2018)
Keyphrases
  • cyber physical systems
  • mobile devices
  • source code
  • social network analysis
  • monitoring system