- An Agile Approach to Capturing Requirements and Traceability Christopher Lee, Luigi Guadagno, Xiaoping Jia
- A Toolset for Design By Contract For Java Jing Wang, Lizhang Qin, Naveen Vemuri, Xiaoping Jia
- Using ZOOM Approach to Support MDD Xiaoping Jia, Adam Steele Hongming Liu, Lizhang Qin, Chris Jones,
- .An Integrated Event-Driven Framework Supporting MDD Lizhang Qin, Hongming Liu, Chris Jones, Xiaoping Jia
- Hypothesis-Based Approach To Detecting Runtime Violations In Java Program Using Automated Theorem Prover
- Static and Dynamic Contract Verifiers For Java Hongming Liu, Lizhang Qin, Jing Wang, Naveen Vemuri, Xiaoping Jia
- Detecting Null Pointer Violations in Java Programs Xiaoping Jia, Sushant Sawant
- A Formal Foundation Supporting MDD ---ZOOM Approach
- Rigorous and Automatic Testing of Web Applications Xiaoping Jia and Hongming Liu
- A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
- Applying Static Analysis for Detecting Null Pointers in Java Programs Xiaoping Jia, Sushant Sawant,
- Code Synthesis Based on Object-Oriented Design Models and Formal Speci cations
- Formal Structured Specification for Web Application Xiaoping Jia,Hongming Liu,Lizhang Qin
- A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
