Specification-based Testing for Gui-based Applications.

Jessica Chen Suganthan Subramaniam

Published in: Softw. Qual. J. (2002)

Keyphrases

test case generation
test cases
software testing
formal verification
model based testing
high level
machine learning
data sets
test data generation
formal methods
formal specification
user friendly
user interface
database systems
metadata
knowledge base
computer vision
genetic algorithm
database