Xuandong Li

Office: Room 720, Changzhou Building, Xianlin Campus
Address: Department of Computer Science and Technology, Nanjing University
163 Xianlin Road, Nanjing, Jiangsu, P.R. China 210023.
Tel: +86 25 89683671
Fax: +86 25 83300710
Email: lxd@nju.edu.cn

Research Affiliation: Member of Research Staff
State Key Laboratory for Novel Software Technology
Nanjing University.

Teaching

• Formal Languages and Automata, Fall 2019.
• Software Engineering, Fall 2009.
• Programming with Pascal, Fall 2000.

Research

• Selected Publications

• Tools
  • BACH: Bounded Reachability Checker for Linear Hybrid Automata

  • TASS: Timing Analyzer of Scenario-Based Specifications

  • UIMDRIVER: UML Interaction Model Driven Runtime Verifier

• Projects
  • Current Projects
    • Symbolic execution based testing and verification of complex software systems,
      supported by the National Natural Science Foundation of China (No.61632015), 2017-2021

    • Intelligent techniques for software testing and verification,
      supported by the National Key Research and Development Program of China (No.2016YFB1000802), 2016-2019

  • Completed Projects

• Research Groups
  • SEG: Software Engineering Group at NJU

Interesting Links