Muhammad Jaffar-ur-Rehman
Center for Software Dependability, Mohammad Ali Jinnah University, Pakistan
A. Nadeem, M. Jaffar-ur-Rehman: TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications /jucs_11_6/testaf_a_test_automation