extracting and testing binary mutations