Sign in

Differential Testing of Pushdown Reachability with a Formally Verified Oracle.

Anders SchlichtkrullMorten Konggaard SchouJirí SrbaDmitriy Traytel
Published in: FMCAD (2022)
Keyphrases
  • test cases
  • artificial intelligence
  • database
  • real time
  • data sets
  • state space
  • oracle database
  • information retrieval
  • test set
  • test data