​
Login / Signup
Michael C. Gerten
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 6
Top Topics
Mutation Testing
Software Testing
Heterogeneous Networks
Test Generation
Top Venues
ASE
GI@ICSE
CoRR
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)