Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2017] [2016] [2015] [2014] [2013]
Selected Publications
    International Journal
  • Tian Zhang, XiaomeiZheng, Yan Zhang, Jianhua Zhao, Xuandong Li. A declarative approach for Java code instrumentation.  In  Software Quality Journal, Vol.23, No.1, Springer, 2015, pp.143-170 download
  • Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao. Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems.  In  ACM Transactions on Design Automation of Electronic Systems, Vol.20, No.3, 2015, pp.43 download
    • Chinese Journal
  • 刘阳，李宣东，马艳，王林章。随机模型检验研究。 计算机学报， download
  • 陈鑫，姜鹏，张一帆，黄超，周岩。一种面向列车控制系统中安全攸关场景的测试用例自动生成方法。 软件学报， Vol.26，No.2，2015，pp.269-278download
  • 周筱羽，赵建华，顾斌,杨孟飞。中断驱动控制系统的有界模型检验技术。 软件学报， 中断驱动控制系统的有界模型检验技术download
  • 张一帆，黄超，欧建生，陈鑫。设备驱动程序可靠性和正确性保障方法和技术研究进展。 软件学报， Vol.26，No.2，2015，pp.239-253download
  • 刘阳，李宣东，马艳。面向随机模型检验的模型抽象技术。 软件学报， Vol.26，No.8，2015，pp.1853-1870download
  • Lingyun Situ, Lingzhong Zhao. CSP Bounded Model Checking of Preprocessed CTL extended with Events using Answer Set Programming.  In  Asia-Pacific Software Engineering Conference (APSEC), download
    • International Conference & Workshop
  • Juan Zhai, Hanfei Wang, Jianhua Zhao. Assertion-Directed Precondition Synthesis for Loops over Data Structures.  In  SETTA 2015, download
  • Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao. Optimizing deterministic garbage collection in NAND flash storage systems.  In  IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), download