Techniques used in testing software are described. A test generator produces a source program used to test two or more compilers using a differential testing technique. The test generator includes a grammar with added semantic constraints to minimize the generation of non-conforming source programs....http://www.google.fr/patents/US5754860?utm_source=gb-gplus-shareBrevet US5754860 - Method and apparatus for software testing using a differential testing technique to test compilers
Method and apparatus for software testing using a differential testing ...
