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

摘要

Semantically equivalent variants of a computer program are generated by applying randomly selected transforms to the computer program. Unit tests are performed on the variants of the computer program to detect a defect in the computer program.