1. A method of validating a computer application, comprising the steps of: generating an abstract program in accordance with syntactic requirements of a computer application being validated; performing a first translation of said abstract program into meta-data that is an acceptable input for said computer application; performing a second translation of said abstract program into a behavioral model of said abstract program; generating a test case from said behavioral model, said test case comprising data and predicted results; stimulating said computer application with instructions of said meta-data and said data; observing actual results produced by said computer application responsive to said step of stimulating; and comparing said actual results with said predicted results.