Michael C. Gerten

According to our database, Michael C. Gerten authored at least 5 papers between 2020 and 2022.

Collaborative distances:

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

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