Sign in
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications.
Aamer Nadeem
Muhammad Jaffar-Ur Rehman
Published in:
J. Univers. Comput. Sci. (2005)
Keyphrases
</>
object oriented
test cases
model based testing
software testing
formal specification
statistical tests
databases
database design
object oriented design
case study
relational databases
data model
programming language
test data
test suite
object oriented data models