A sound and efficient program testing and execution framework in green computing

Edward Y. Y. Kan. A sound and efficient program testing and execution framework in green computing. PhD thesis, University of Hong Kong, Pokfulam, Hong Kong, 2015. [doi]

Abstract

Abstract is missing.