Welcome to the home page of SPAR: System & Program Analysis Research Group at ICS.

  • We focus on research of testing and analysis techniques for quality software.
  • SPAR has joint research with DSE group led by Prof. Xiaoxing Ma.

Selected Publications

  • 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.
  • 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.

Here is the full list of SPAR publications.

Mentors

Ph.D. students

M.Sc. students

Alumni/ae

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