Michael C. Gerten

Orcid: 0000-0002-5620-434X

According to our database1, Michael C. Gerten authored at least 7 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Traceback: A Fault Localization Technique for Molecular Programs.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2022
A Framework for Testing Chemical Reaction Networks.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
CRNRepair: Automated Program Repair of Chemical Reaction Networks.
Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2020
Genetic Improvement @ ICSE 2020.
ACM SIGSOFT Softw. Eng. Notes, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2016
Results of a student census in CS 2.
J. Comput. Sci. Coll., 2016


  Loading...