Sign in

Towards Effective Mutation Testing for ATL.

Esther GuerraJesús Sánchez CuadradoJuan de Lara
Published in: MoDELS (2019)
Keyphrases
  • mutation testing
  • multi agent systems
  • neural network
  • high quality
  • three dimensional
  • training set
  • matching algorithm
  • model checking