Follow
Michael C Gerten
Michael C Gerten
Verified email at iastate.edu
Title
Cited by
Cited by
Year
CRNRepair: Automated program repair of chemical reaction networks
I Mesecan, MC Gerten, JI Lathrop, MB Cohen, TH Caldas
2021 IEEE/ACM International Workshop on Genetic Improvement (GI), 23-30, 2021
92021
ChemTest: An automated software testing framework for an emerging paradigm
MC Gerten, JI Lathrop, MB Cohen, TH Klinge
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
82020
Genetic improvement@ icse 2020
WB Langdon, W Weimer, J Petke, E Fredericks, S Lee, E Winter, M Basios, ...
ACM SIGSOFT Software Engineering Notes 45 (4), 24-30, 2020
42020
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
MC Gerten, AL Marsh, JI Lathrop, MB Cohen, AS Miner, TH Klinge
12022
A Framework for Testing Chemical Reaction Networks
MC Gerten
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
2022
Journal: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
MC Gerten, JI Lathrop, MB Cohen, TH Klinge
The system can't perform the operation now. Try again later.
Articles 1–6