Koksal, Pu, Srivastava, Bodik, Fisher, Piterman, 2013. Synthesis of biological models from mutation experiments 48.. https://doi.org/10.1145/2480359.2429125