Aamer Nadeem, Muhammad Jaffar-Ur Rehman. TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications. J. UCS, 11(6):962-985, 2005. [doi]
@article{NadeemJ05,
title = {TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications},
author = {Aamer Nadeem and Muhammad Jaffar-Ur Rehman},
year = {2005},
url = {http://www.jucs.org/jucs_11_6/testaf_a_test_automation},
tags = {testing},
researchr = {https://researchr.org/publication/NadeemJ05},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {11},
number = {6},
pages = {962-985},
}