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