Sign in

Incremental predicate analysis for regression verification.

Qianshan YuFei HeBow-Yaw Wang
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • statistical analysis
  • genetic algorithm
  • first order logic
  • incremental learning
  • neural network
  • regression model