Sign in

Towards a test automation framework for alloy.

Allison SullivanRazieh Nokhbeh ZaeemSarfraz KhurshidDarko Marinov
Published in: SPIN (2014)
Keyphrases
  • main contribution
  • key features
  • framework enables
  • neural network
  • multimedia
  • multiresolution
  • semi supervised
  • medical images
  • lightweight
  • test cases
  • statistical significance
  • model based testing