Login / Signup
Alexis L. Marsh
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Analysis Tool
Symbolic Execution
Mutation Testing
Test Generation
Top Venues
BCB
ICSE
</>
Publications
</>
Alexis L. Marsh
,
Myra B. Cohen
,
Robert W. Cottingham
CORE: Comparable, Open, Reliable, Extensible Software: An Experience Report of Four Flux Balance Analysis Tools.
BCB
(2023)
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)