Dependable, Explainable, Reusable, AI-Driven Computational Biology

Biological research has become dependent on computational tools to help guide hypothesis generation and experimentation. However, many tools may be difficult to use, and their results may be hard to reproduce, explain, or validate. This project proposes to build a bridge between state-of-the-art software testing techniques, biologists, and bioinformaticists within the Metamorphic Testing, Program Repair, Explanationscontext of a widely used, DOE-supported open software platform, the Department of  Energy Systems Biology Knowledgebase (KBase).  We are designing meta-computational approaches that are accessible to different types of users. Our goals are to  (1) enable and empower biologists to explore tools that expose reasoning and parameter settings, increasing confidence and trust in their results; (2) build embedded software testing  techniques that help identify faults in predictive biological programs to improve their reliability and prediction accuracy; (3) provide tools to help automatically repair faulty code for the tool developer; and (4) design families of scientific workflows as reusable building blocks.

Department of Energy LogoThe Office of Biological and Environmental Research (BER) in the U.S. Department of Energy (DOE) Office of Science award DE-SC0025510 

 

Publications 
  1. S. Druskat, N. U. Eisty, R. Chisholm, N.C. Hong, R. C. Cocking, M.B. Cohen, M. Felderer, L. Grunske, S. A. Harris, W. Hasselbring, T. Krause, J Linxweiler, C. C. Venters, Better Architecture, Better Software, Better Research, Computing in Science and Engineering, 2025. Early-access article:  https://ieeexplore.ieee.org/document/11017520
  2. C. Stevens, K. Kjeer, R. Richard, E. Valeev, M. B. Cohen, Model Assisted Refinement of Metamorphic Relations for Scientific Software, International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track, April 2025. pre-print.
  3. Alexis Marsh, Myra B. Cohen, Robert W. Cottingham, A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software, IEEE International Conference on Software Testing (ICST), Industry Track, March, 2025, pp. 553-564, https://doi.ieeecomputersociety.org/10.1109/ICST62969.2025.10988959 ,  pre-print.
 
Other Products/Activities 
  1. PI Cohen co-organizes 1st International Workshop on on Software Engineering and Research Software held in Rio de Janeiro, April 2026
  2. PI Cohen and students presented poster presented at the 2025 Biological Systems Science Division Principal Investigators’ Meeting, February 2026, 2026-poster.pdf
  3. PI Cohen gave a keynote at USRSE 2025 in Philadelphia, Building Confidence in What we Build: Correctness in Research Software in the Age of AI, October 2025.
  4. PI Cohen visited collaborators at Oak Ridge National Laboratory, September, 2025.
  5. PI Cohen Gave a bootcamp tutorial on software engineering and testing for the SIMCODES REU program, May 2025.
  6. PI Cohen and students presented poster presented at the 2025 Biological Systems Science Division Principal Investigators’ Meeting, March 2025 https://www.orau.gov/support_files/2025BSSD/CompBio/Myra_Cohen.pdf