Paddy <paddy3118 at googlemail.com> writes: > I would rather advocate such random test generation methods as being > more appropriate for testing software in safety critical systems when > the programming language is dynamic. That method totally failed to find the Pentium FDIV bug, and they use static proof checkers like ACL2 now.