Detecting resource leaks through dynamical mining of resource usage patterns | IEEE Conference Publication | IEEE Xplore