Sign in

SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution.

Rong WangShaoying LiuYuji Sato
Published in: IEEE Trans. Reliab. (2021)
Keyphrases
  • symbolic execution
  • error rate
  • objective function
  • specification language
  • database
  • neural network
  • artificial intelligence
  • case study
  • general purpose
  • optimization method