Lightweight and modular resource leak verification.

Martin Kellogg Narges Shadab Manu Sridharan Michael D. Ernst

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

lightweight
resource allocation
wireless sensor networks
private information
resource management
web resources
information flow
dos attacks
communication infrastructure
routing protocol
service oriented architecture
resource constraints
development environments