Sign in

Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.

Hasan Ferit EniserTimo P. GrosValentin WüstholzJörg HoffmannMaria Christakis
Published in: ISSTA (2022)
Keyphrases
  • test cases
  • action selection
  • lower bound
  • np hard
  • optimal policy
  • linear programming
  • data sets
  • social networks
  • test set
  • initial state
  • partially observable domains