Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz. Robustness Testing for Software Components.
In Science of Computer Programming,
Vol.75, No.10, Elsevier, 2010, pp.879-897. download
Chinese Journal
于利前，王林章，雷斌，赵建华，李宣东. 静动态结合的Java程序不变性分析.
In 《计算机学报》,
Vol.33，No.3，2010，pp.736-746。 download
雷斌，王林章，卜磊，李宣东. 基于状态机模型的构件健壮性测试.
In 《软件学报》,
Vol.21，No.5，2010，pp.930-941。 download
International Conference & Workshop
Bu Lei, Li You, Wang Linzhang, Chen Xin, Li Xuandong. BACH 2: Bounded Reachability Checker for Compositional Linear Hybrid Systems.
In Proceedings of Design, Automation & Test in Europe Conference and Exposition (DATE2010),
Germany, ACM Press, 2010, pp.1512-1517. download
Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta. Model Checking of Hybrid Systems using Shallow Synchronization.
In Proceedings of the 30th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2010),
Netherland, Lecture Notes in Computer Science 6117, Springer, 2010, pp.155-169. download
Enyi Tang, Earl Barr, Xuandong Li, Zhendong Su. Perturbing Numerical Calculations for Statistical Analysis of Floating-Point Program (In)Stability.
In Proceedings of International Conference on Software Testing and Analysis (ISSTA 2010),
Italy, ACM Press, 2010. download
You Li, Lu Yang, Lei Bu, Lingzhang Wang, Jianhua Zhao, Xuandong Li. Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance.
In ACM’s Special Interest Group on the Ada Programming Language 2010,
Proceedings of the ACM SIGAda annual international conference on SIGAda, Pages 53-62 download
Qian Li,
Jianhua Zhao,
Xuandong Li. Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination.
In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 2010,
Lecture Notes in Computer Science 6415,
Springer, 2010,
pp. 564–578. download
Lei Bu,
Jianhua Zhao,
Xuandong Li. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
In International Conference on Verification, Model Checking, and Abstract Interpretation 2010,
Lecture Notes in Computer Science 5944, Springer, 2010, pp.78-94. download
Yang Lu, Yu Liqian, Tang Jianwen, Wang Linzhang, Zhao Jianhua, Li Xuandong. Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java.
In Proceedings of the Third International Workshop on Multicore Software Engineering (IWMSE2010),
South Africa, ACM Press, 2010, pp.32-39. download
