Login / Signup

Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm.

Rong WangJunfeng Wang
Published in: ITSC (2021)
Keyphrases
  • backtracking algorithm
  • data structure
  • linear programming
  • constraint satisfaction problems