. . . "The described technologies provide methods and systems for generating tests for testing computerized methods such as programs, APIs or compilers." .