Write a Blog >>
Mon 10 Oct 2022 14:30 - 15:00 at Ambassador A - Session 3 - Human Factors & Testing

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 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3 - Human Factors & TestingDoctoral Symposium at Ambassador A
13:30
30m
Doctoral 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
30m
Doctoral 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
30m
Doctoral symposium paper
A Framework for Testing Chemical Reaction Networks
Doctoral Symposium
Michael C. Gerten Iowa State University