Sign in

AB=ᗺA: execution equivalence as a new type of testing oracle.

Alexander ElyasovWishnu PrasetyaJurriaan HageUrko RuedaTanja E. J. VosNelly Condori-Fernández
Published in: SAC (2015)
Keyphrases
  • testing process
  • type checking
  • knowledge base
  • data structure
  • web applications
  • oracle database
  • code generation
  • execution model