| 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 |
|
| 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: |
|