Using TPTP to Automate Functional Testing
I just love saying “TPTP”. Of all the projects we have here at Eclipse, TPTP is the one that has the the most entertaining title. Probably my second favourite project name is “ Buckminster” (though “ Higgins” is also pretty entertaining and conjures up images from Magnum PI). But anyway...