Formalization, Testing and Execution of a Use Case Diagram.

Wuwei Shen Shaoying Liu

Published in: ICFEM (2003)

Keyphrases

testing process
state transition
neural network
class diagram
decision trees
image sequences
knowledge representation
test data
formal model
symbolic execution
test cases
software testing
test generation
parallel execution
plan generation
concurrent execution