Formalizing dynamic software updating
25th International Conference on Compiler Construction (CC 2016), March 2016. How Do Bug Characteristics Differ Across Severity Classes: A Multi-platform Study Bo Zhou, Iulian Neamtiu, Rajiv Gupta.
26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), November 2015.
International Conference on Software Testing, Verification, and Validation (ICST'19), Tools track, April 2019.25th International Conference on Compiler Construction (CC 2016), March 2016.