Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S., Klinge, Titus H.
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
CRNRepair: Automated Program Repair of Chemical Reaction Networks
Mesecan, Ibrahim, Gerten, Michael C., Lathrop, James I., Cohen, Myra B., Caldas, Tomas Haddad
Published in 2021 IEEE/ACM International Workshop on Genetic Improvement (GI) (01.05.2021)
Published in 2021 IEEE/ACM International Workshop on Genetic Improvement (GI) (01.05.2021)
Get full text
Conference Proceeding