Michael C. Gerten

According to our database, Michael C. Gerten authored at least 8 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

A Visual Unplugged Activity to Introduce PDC.

Mary L. Smith, Srishti Srivastava, David P. Bunde, April Renee Crockett, Michael C. Gerten, Peter Maher, Jaime Spacco, Xiaoyuan Suo, Jiayin Wang, Michelle Zhu

Proceedings of the 2025 IEEE International Parallel and Distributed Processing Symposium, 2025

2024

Traceback: A Fault Localization Technique for Molecular Programs.

Michael C. Gerten, James I. Lathrop, Myra B. Cohen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2022

A Framework for Testing Chemical Reaction Networks.

Michael C. Gerten

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.

Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

CRNRepair: Automated Program Repair of Chemical Reaction Networks.

Ibrahim Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Tomas Haddad Caldas

Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2020

Genetic Improvement @ ICSE 2020.

William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten

ACM SIGSOFT Softw. Eng. Notes, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.

Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2016

Results of a student census in CS 2.

David P. Bunde, Michael C. Gerten

J. Comput. Sci. Coll., 2016