Detecting Missing-Check Bugs via Semantic- and Context-Aware Criticalness and Constraints Inferences.
Kangjie LuAditya PakkiQiushi WuPublished in: USENIX Security Symposium (2019)
Keyphrases
- context aware
- contextual information
- context awareness
- ubiquitous computing
- mobile devices
- ambient intelligence
- mobile computing
- context aware systems
- mobile users
- smart spaces
- ubiquitous learning
- context aware services
- mobile applications
- semantic annotation
- information sources
- source code
- location aware
- natural language
- high level
- context aware ubiquitous learning
- pervasive computing
- mobile environments
- smart environments
- smart home