Michael C. Gerten

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Mutation Testing

Software Testing

Heterogeneous Networks

Test Generation

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE (2022)
Michael C. Gerten
A Framework for Testing Chemical Reaction Networks. ASE (2022)
Ibrahim Mesecan, Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Tomas Haddad Caldas
CRNRepair: Automated Program Repair of Chemical Reaction Networks. GI@ICSE (2021)
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
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. ASE (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
Genetic Improvement @ ICSE 2020. CoRR (2020)