@inproceedings{An.EventDSU.QRS.2015,
    author    = {An, Shengwei and Ma, Xiaoxing and Cao, Chun and Yu, Ping and Xu, Chang},
    booktitle = {2015 IEEE International Conference on Software Quality, Reliability and Security (QRS)},
    title     = {An Event-Based Formal Framework for Dynamic Software Update},
    year      = {2015},
    pages     = {173-182},
    keywords  = {dynamic software update; formal methods;},
    doi       = {10.1109/QRS.2015.33},
    month     = {Aug},
}