The use of non-traditional computing devices is growing rapidly. One paradigm of interest is that of chemical reaction networks (CRNs), which can model and use chemical interactions for computation. These CRNs are used to develop programs at the nanoscale,for applications such as intelligent drug delivery. In practice, these programs are developed in simulation environments and then compiled into physical systems. A challenge when designing CRNs for computation is the lack of techniques to verify and validate correctness. In this work, I adapt software testing and repair techniques for use in this domain. Initial work has proposed a testing framework to handle the challenges caused by these types of programs, which includes CRN with stochastic behaviors and are capable of distributed computation. I further propose extending this work to implement automated program repair of CRN models and automated test generation via program invariants. Future work will develop a notion of fault localization for these programs, develop a theory of mutation generation, and address issues regarding flakiness present in this computing paradigm.
Mon 10 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 30mDoctoral symposium paper | Identification and Mitigation of Toxic Communications Among Open Source Software Developers Doctoral Symposium Jaydeb Sarker Department of Computer Science, Wayne State University Pre-print | ||
14:00 30mDoctoral symposium paper | Identification and Mitigation of Gender Biases to Promote Diversity and Inclusion among Open Source Communities Doctoral Symposium Sayma Sultana Wayne State University | ||
14:30 30mDoctoral symposium paper | A Framework for Testing Chemical Reaction Networks Doctoral Symposium Michael C. Gerten Iowa State University |