62 citations · 238 across the 21 of their papers we have counts for
5 papers · 1 filter
CRN++: Molecular Programming Language
Marko Vasic, David Soloveichik, Sarfraz Khurshid
Synthetic biology is a rapidly emerging research area, with expected wide-ranging impact in biology, nanofabrication, and medicine. A key technical challenge lies in embedding comp…
Executable Trigger-Action Comments
Pengyu Nie, Rishabh Rai, Junyi Jessy Li +3
Natural language elements, e.g., todo comments, are frequently used to communicate among the developers and to describe tasks that need to be performed (actions) when specific cond…
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem o…
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing
Mengshi Zhang, Yuqun Zhang, Lingming Zhang +2
While Deep Neural Networks (DNNs) have established the fundamentals of DNN-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To reso…