Balasubramanian, D. . (2018). A Cloud-Based Execution Framework for Program Analysis. In E. . Johnsen & I. . Schaefer (Eds.), Lecture Notes in Computer Science book series (pp. 139–154). Cham: Springer International Publishing. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-92970-5_9 (Original work published May 2018)