A precongruence format for should testing preorder.

Xiaowei Huang Li Jiao Weiming Lu

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

real time
multiresolution
software testing
database
databases
case study
preprocessing
evolutionary algorithm
hidden markov models
test set
test cases
test data