An extension of methods for symbolic testing of computer programs

The paper is,concerned with application of symbolic testing of computer programs by automatic generation of input data (tests), complete systems of tests, identification of all realizable program paths, and generation of a description of the function to be implemented by the program. Various descriptions which completely specify the function to be implemented by the program are given.