Full List of SPAR Publications

Notice

  • The electronic versions of some publications below are provided for personal use.

  • Copyright is owned by the respective publishers or persons, and should be included explicitly in any distribution of these copies.


Journal/Magazine Publications

  • Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu, “CyanDroid: Stable and Effective Energy Inefficiency Diagnosis for Android Apps”, Science China Information Sciences (SCIS), to appear, 2016.
  • Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Approaches to obtaining shared memory dependences for dynamic analysis of concurrent programs: A survey”, Journal of Software (in Chinese) , 747–763, 2017.
  • Jun Sui, Chang Xu, S.C. Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “Hybrid CPU-GPU constraint checking: Towards efficient context consistency”, Information and Software Technology (IST) , 230–242, 2016.
  • Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu, “Suppressing detection of inconsistency hazards with pattern learning”, Information and Software Technology (IST) , 219–229, 2016.
  • Wenhua Yang, Yepang Liu, Chang Xu, and S.C. Cheung, “A survey on dependability improvement techniques for pervasive computing systems”, Science China Information Sciences (SCIS) , 1–14, 2015.

Conference/Symposium/Workshop Publications

  • Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “E-GreenDroid: Effective Energy Inefficiency Analysis forAndroid Applications” , in Proceedings of the 8th Asia-Pacific Symposium on Internetware (Internetware), to appear, 2016.
  • Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Testing Android apps via guided gesture event generation” , in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC), to appear, 2016.
  • Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lu, “Effectively manifesting concurrency bugs in Android apps” , in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC), to appear, 2016.
  • Huiyan Wang, Chang Xu, Jun Sui, and Jian Lu, “How Effective is Branch-based Combinatorial Testing? An Exploratory Study” , in Proceedings of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS2016), 41–52, 2016.
  • Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash consistency validation made easy” , in Proceedings of the 24th International Symposium on the Foundations of Software Engineering (FSE) , 133–143, 2016.
  • Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu, “Online shared memory dependence reduction via bisectional coordination” , in Proceedings of the 24th International Symposium on the Foundations of Software Engineering (FSE) , 822–832, 2016.
  • Zhanshuai Meng, Yanyan Jiang, and Chang Xu, “Facilitating reusable and scalable automated testing and analysis for Android apps” , in Proceedings of the 7th Asia-Pacific Symposium on Internetware (Internetware) , 166–175, 2015.
  • Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Ping Yu, “ABC: Accelerated building of C/C++ projects” , in Proceedings of the 22st Asia-Pacific Software Engineering Conference (APSEC) , 182–189, 2015.
  • Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu, “Optimistic shared memory dependence tracing” , in Proceedings of the 30th International Conference on Automated Software Engineering (ASE) , 524–534, 2015.
  • Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “Concolic metamorphic debugging” , in Proceedings of the 39th Computer Society International Conference on Computers, Software and Applications (COMPSAC) , 2015.
  • Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “CoseDroid: Effective computation- and sensing-offloading for Android apps” , in Proceedings of the 39th Computer Society International Conference on Computers, Software and Applications (COMPSAC) , 2015.
  • Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jiang Lu, “SHAP: Suppressing the detection of inconsistency hazards by pattern learning”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC) , 391–398, 2014. ( best paper award)
  • Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “GAIN: GPU-based constraint checking for context consistency”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC) , 319–326, 2014.
  • Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “User guided automation for testing mobile apps” , in Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC) , 27–34, 2014.
  • Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Verifying self-adaptive applications suffering uncertainty”, in Proceedings of the 29th International Conference on Automated Software Engineering (ASE) , 199–209, 2014.
  • Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu, “CARE: Cache guided deterministic replay for concurrent Java programs” , in Proceedings of the 36th International Conference on Software Engineering (ICSE) , 457–467, 2014.
  • Wenhua Yang, Chang Xu, and Linghao Zhang, “IDEA: Improving Dependability for Self-Adaptive Applications”, in Proceedings of the 2013 Middleware Doctoral Symposium, 1:1--1:6, 2013.
  • Yanyan Jiang, Chang Xu, and Xiaoxing Ma, “DPAC: An infrastructure for dynamic program analysis of concurrency Java programs” , in Proceedings of the 2013 Middleware Doctoral Symposium , 2:1--2:6, 2013.

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