Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.

Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge

Browse the full ICSE paper archive.