Home› Device, system, and method for detecting a defect in a computer program by generating and testing semantically equivalent computer program variants
Device, system, and method for detecting a defect in a computer program by generating and testing semantically equivalent computer program variants