Font Size: a A A
Keyword [extended finite state machine (EFSM)]
Result: 1 - 2 | Page: 1 of 1
1. A Program Verification And Testing Tool Based On Symbolic Execution And Constraint Solving
2. Automatic String Test Data Generation For EFSM Model
  <<First  <Prev  Next>  Last>>  Jump to