I have a question regarding how the tool JPF would operate on the test driver I am writing.
Referring to the sample code Suresh sent me...
One of my supposed testMethods...
conduct testing operations & report differences
My question pertains to simply calling the testDriver method in each testMethod in order to generate the sequences, as opposed to reproducing the same code found in the testDriver in each and every test method.