Testing a system specified using Statecharts and Z.

Robert M. Hierons Sadegh Sadeghipour Harbhajan Singh

Published in: Inf. Softw. Technol. (2001)

Keyphrases

test generation
regression testing
test cases
database
data sets
databases
image processing
distributed systems
software systems
test data
statistical tests
conceptual modeling
agent oriented