Get started
Author

Michael C. Gerten

Observed names: Gerten, Michael, Gerten, Michael C., Michael Gerten
Institution: Knox College
ORCID: 0000-0002-5620-434X
Observed ORCID: 0000-0002-5620-434X
OpenAlex ID: A5032072064
CRNRepair: Automated Program Repair of Chemical Reaction Networks
2021 · Ibrahim Mesecan, Michael C. Gerten, et al. · IEEE/ACM International Workshop on Genetic Improvement (GI) · 9
ChemTest: an automated software testing framework for an emerging paradigm
2020 · Michael C. Gerten, James I. Lathrop, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 6
PDF
Inference and test generation using program invariants in chemical reaction networks
2022 · Michael C. Gerten, Alexis L. Marsh, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 3
PDF
Genetic Improvement @ ICSE 2020
2020 · William B. Langdon, Westley Weimer, et al. · ACM SIGSOFT Software Engineering Notes · 3
PDF
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks Artifacts
2022 · Gerten, Michael C., Marsh, Alexis L., et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Software engineering for chemical reaction networks
2026 · Gerten, Michael · Iowa State University Digital Repository (Iowa State University)
Knoxcraft Terps: Parallel Minecraft for Novices, a Peachy Assignment
2026 · Jurdana Masuma Iqrah, Jaime Spacco, et al. · IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum
Traceback: A Fault Localization Technique for Molecular Programs
2024 · Michael C. Gerten, James I. Lathrop, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
A Framework for Testing Chemical Reaction Networks
2022 · Michael C. Gerten · IEEE/ACM International Conference on Automated Software Engineering (ASE)
PDF
Results of a student census in CS 2
2016 · David P. Bunde, Michael C. Gerten · Journal of computing sciences in colleges
Works count: 12
Citation count: 23
H-index: 3
I10-index:
Year
Topic
Type