Publications

  • Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü, “Synthesizing Object Transformation for Dynamic Software Updating”, in ICSE Poster Track , to appear, 2017.
  • Tianxiao Gu, Ruiqi Liu, Xiaoxing Ma, and Zelin Zhao, “Precise Heap Differentiating Using Access Path and Execution Index”, in NASAC English Track , to appear, 2016.
  • Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, and Valerio Panzica La Manna, “Efficient Dynamic Updates of Distributed Components through Version Consistency”, IEEE Transactions on Software Engineering , to appear, 2017.
  • Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lü, “Improving Reliability of Dynamic Software Updating Using Runtime Recovery”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , to appear, 2016.
  • Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lü, “CURE: Automated Patch Generation for Dynamic Software Update”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , to appear, 2016.
  • Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su, “Automatic Runtime Recovery via Error Handler Synthesis”, in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) , 684–695, 2016.
  • Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu, “Verifying Distributed Controllers with Local Invariants”, in Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS) , 120–131, 2016.
  • Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, and Chang Xu, “An Event-Based Formal Framework for Dynamic Software Update”, in Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS) , 173–182, 2015.
  • Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang, “Automated Recommendation of Dynamic Software Update Points: An Exploratory Study”, in Proceedings of the 6th Asia-Pacific Symposium on Internetware on Internetware , 136–144, 2014.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lü, “Low-disruptive Dynamic Updating of Java Applications”, Information and Software Technology , 1086–1098, 2014.
  • Ping Su, Chun Cao, Xiaoxing Ma, and Jian Lu, “Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration”, in Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC) , 450–458, 2013.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lu, “Javelus: A Low Disruptive Approach to Dynamic Software Updates”, in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC) , 527–536, 2012.
  • Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian Lu, “Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems”, in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (FSE) , 245–255, 2011.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.