Return to Article Details Experimental Evaluation of FMCheck: A Replication Study Download Download PDF