Michael C. Gerten

Orcid: 0000-0002-5620-434X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
2
1
1

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


  Loading...