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

Rong Wang Shaoying Liu Yuji 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