Testing Automation of Context-Oriented Programs Using Separation Logic.

Mohamed A. El-Zawawy

Published in: Appl. Comput. Intell. Soft Comput. (2014)

Keyphrases

database
context aware
classical logic
predicate logic
databases
neural network
contextual information
modal logic
context dependent
software testing
multi valued
symbolic execution