Automated and reliable resource release in device drivers based on dynamic analysis.

Jia-Ju Bai Yu-Ping Wang Shi-Min Hu

Published in: J. Syst. Softw. (2018)

Keyphrases

dynamic analysis
static analysis
reverse engineering
fully automated
semi automated
car navigation
resource allocation
data sets
software engineering
model checking
computer aided
resource constraints
cost effective
web resources