Login / Signup

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.

Rui YangZhenyu ChenBaowen XuW. Eric WongJie Zhang
Published in: HASE (2011)
Keyphrases
  • test case generation
  • databases
  • static analysis
  • real time
  • database systems
  • test cases
  • software testing