Login / Signup
AB=ᗺA: execution equivalence as a new type of testing oracle.
Alexander Elyasov
Wishnu Prasetya
Jurriaan Hage
Urko Rueda
Tanja E. J. Vos
Nelly Condori-Fernández
Published in:
SAC (2015)
Keyphrases
</>
testing process
type checking
knowledge base
data structure
web applications
oracle database
code generation
execution model