ACM/IEEE International Conference on Software Engineering, ICSE 2018


Article Details
Title: Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
Article URLs:
Alternative Article URLs:
Authors: Shafiul Azam Chowdhury
  • University of Texas at Arlington
Soumik Mohian
  • University of Texas at Arlington
Sidharth Mehra
  • University of Texas at Arlington
Siddhant Gawsane
  • University of Texas at Arlington
Taylor T. Johnson
  • Vanderbilt University
Christoph Csallner
  • University of Texas at Arlington
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1464311, 1713253, 1509804, 1527398, 1736323
DBLP Key: conf/icse/ChowdhuryMMGJC18
Author Comments:

Discuss this paper and its artifacts below