GEMM Cyber Tester Encyclopaedia Scope Method Tools Tested Projects Opinions

   Precomputed database of 20000+ selected examples where the computer algebra
     systems often yield the invalid answers. It is based on our experience with

        Analytic       Analytic-93, Analytic-91
        Derive         6, 5.06, 5.05, 5.04, 4.11, 4.02, 3.11, 2.59, 2.57, 1.62
        Maple          9.01/9.00,  8.01/8.00,  7,  6,  V (Releases 5, 4, 3)
        Mathematica    5.0,  4.2.1,  4.2 beta,  4.1,  4.0,  3.0,  2.2,  1.2
        MuPAD          2.5.2,  2.5 beta,  2.0,  1.4
        Reduce         3.6,  3.4.1,  3.3

        This database enables us to start off the bug identification immediately.

   Electronic form of some 10 selected sources which, over the decade of our
     symbolic software testing activity, we have found most useful for the black
     box testing (in progress) 

   12 language-to-language convertors

   GEMM: Genuine Error Monitor for Maple automated testing system (in progress)

   Automated sending system which is connected to the automated testing system.
     It guarantees that you will receive the report on a new-identified problem 
     within several minutes after it is done.

---

© 2002-2008 Cyber Tester Ltd. All rights reserved. All logos and trademarks are property of their respective owners.

E-mail: vb@cybertester.com