Bixin Li[] Professor, IEEE Member
School of Computer Science and Engineering
Southeast University
408 Computer Building
Jiangnin, Nanjing 211189, Jiangsu Province, China

Tel: (+86) 25-52090877
Fax: (+86) 25-52090879
E-mail: bx.li at seu.edu.cn


Biography


Funding
  • PSC: Key techniques in Verifying Composite Service Based on Property Sequence Chart
    Doctoral Fund of Ministry of Education of China, 20100092110022, 1/2011-12/2012 (PI: B. Li)
  • WSV: Web Composite Service Verification
    National Natural Science Foundation of China, 60973149, 1/2010-12/2012 (PI: B. Li)
  • SEM: Exploring the Key Techniques of Software Evolution and Maintenance
    National Natural Science Foundation of China, 60773105, 1/2008-12/2010 (PI: B. Li)
  • SMTV: User-Oriented Monitoring, Testing and Verification of Web Service
    National High Technology Development Plan (863 Project), 2008AA01Z113, 8/2008-12/2010 (PI: B.Li)
  • WSTV: Testing and Verification of Web Service
    Natural Science Foundation of Jiangsu Province, BK2007513, 6/2007-12/2009 (PI: B.Li)
  • SQA-II: Key Techniques in Software Quality Assurance Based on Software Evolution and Maintenance
    National High Technology Development Plan (863 Project) 2007AA01Z141, 8/2007-12/2009 (PI: Y. Zhou and co-PI: B.Li)
  • SQA-I: Key Techniques in Quality Software Using New Program Slicing
    National Natural Science Foundation of China, 60473065, 1/2005-12/2007 (PI: B.Li)