Papers

 

ZOOM 

Title:        Metamodel Based Model Transformation Framework  
By:           Xiaoping Jia, Hongming Liu, Lizhang Qin, and Adam Steele
Published:    The 2008 International Conference on Software Engineering Research and Practice
              (SERP'08)  July 14-17, 2007, Las Vegas, Nevada, USA
Formats:      .pdf
Title:        A Model Transformation Framework for Model Driven Engineering 
By:           Xiaoping Jia, Hongming Liu, Lizhang Qin, and Adam Steele
Published:    Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
              (MSVVEIS-2008)  Barcelona, Spain, 12-16 June, 2008
Formats:      .pdf
Title:        Model Transformation Framework Supported by ZOOM  
By:           Hongming Liu, Lizhang Qin, Xiaoping Jia, and Adam Steele
Published:    The 2007 International Conference on Software Engineering Research and Practice 
              (SERP'07)  June 25-28, 2007, Las Vegas, Nevada, USA
Formats:      .pdf
Title:        Executable visual software modeling—the ZOOM approach  
By:           Xiaoping Jia, Adam Steele, Lizhang Qin, Hongming Liu,and Chris Jones
Published:    Software Quality Journal Volume 15, Number 1 / March, 2007
              Springer Netherlands
Formats:      .pdf
Title:        Using ZOOM Approach to Support MDD  
By:           Xiaoping Jia, Adam Steele Hongming Liu, Lizhang Qin and Chris Jones
Published:    The 2005 International Conference on Software Engineering Research and Practice 
              (SERP'05)  June 27-30, 2005, Las Vegas, Nevada, USA
Formats:      .pdf
Title:        Executable Visual Software Modeling - The ZOOM Approach 
By:           Xiaoping Jia, Adam Steele Hongming Liu, Lizhang Qin and Chris Jones
Published:     IEEE 2005 Electro/Information Technology Conference  
              (EIT'05)  May 22-25, 2005, Lincoln, NE, USA
Formats:      .pdf
Title:        Using ZOOM Approach to Support MDD  
By:           Xiaoping Jia, Adam Steele Hongming Liu, Lizhang Qin and Chris Jones
Published:    The 2004 International Conference on Software Engineering Research and Practice 
              (SERP'04)  June 21-24, 2004, Las Vegas, Nevada, USA pp. 144-151
Formats:      .pdf
Title:        An Integrated Event-Driven Framework Supporting MDD 
By:           Lizhang Qin, Hongming Liu, Chris Jones and Xiaoping Jia
Published:    2004 Midwest Software Engineering Conference 
               (MSEC'04) April 30th 2004 Chicago, IL, USA pp. 32-44
Formats:      .pdf
Title:        ZOOM Project - Automatic Code Generation: Meta-model, translation engine and FSM framework design  
By:           Anoop Mathew, Michael Montenegro
Published:    2004 Midwest Software Engineering Conference 
               (MSEC'04) April 30th 2004 Chicago, IL, USA pp. 3-12
Formats:      .pdf
Title:        Multiple Device Markup Language A Rule Approach
By:           Jinesh Parekh and Paul Johnson
Published:    2004 Midwest Software Engineering Conference 
               (MSEC'04) April 30th 2004 Chicago, IL, USA pp. 69-80
Formats:      .pdf
Title:        A Formal Foundation Supporting MDD – ZOOM Approach  
By:           Hongming Liu, Lizhang Qin, Chris Jones and Xiaoping Jia
Published:    Proceedings of the 5th DePaul CTI Research Symposium
              (CTIRS 2003) November 2003, Chicago, IL, USA. pp.41-50. 
Formats:      .pdf

Static Analysis for Detecting Runtime Violations

Here are some papers we have published about using automated theorem prover to do static analysis to catch the runtime violations in Java program.  This sub research topic is part of ZOOM project.

 
Title:        A Hypothesis-Based Approach to Detecting Runtime Violations
By:           Lizhang Qin, Xiaoping Jia, Hongming Liu
Published:    Verification and Validation of Enterprise Information Systems, 
              Proceedings of the 2nd International Workshop on 
              Verification and Validation of Enterprise Information Systems, 
              VVEIS 04   In conjunction with ICEIS 2004
              April 2004, Porto, Portugal. pp.60-65.
Formats:      .pdf
Title:        Hypothesis-Based Approach To Detecing Runtime Violations
              In Java Progam Using Automated Theorem Prover
By:           Xiaoping Jia, Lizhang Qin, Hongming Liu
Published:    Proceedings of the 2003 Midwest Software Engineering Conference
              (MSEC’ 03) June 2003, Chicago, IL, USA. pp.114-125.
Formats:      .pdf
Title:        Generic Invariant-Based Static Analysis Tool
              for Detection of Runtime Errors in Java Programs
By:           Sotiris Skevoulis, Xiaoping Jia
Published:    Proceeding of the 37th Conference on Technology of Object-Oriented Languages and Systems 
              (TOOLS 2000) November, 2000, Sydney, Australia, pp. 36-44
Formats:      .pdf
Title:        A Generic Approach of Static Analysis
              for Detecting Runtime Errors in Java Programs
By:           Xiaoping Jia, Sotiris Skevoulis
Published:    Proceedings of the 23rd Annual IEEE International Computer Software and Application Conference 
              (COMPSAC'99). October 1999, Phoenix, AZ. pp. 67-72.
Formats:      .pdf

Tools for Design By Contract 

Title:        Static and Dynamic Contract Verifiers for Java 
By:           Hongming Liu, Lizhang Qin, Jing Wang, Naveen Vemuri, Xiaoping Jia
Published:    Proceedings of the 7th IASTED International Conference on Software Engineering and Applications 
              (SEA 2003) November 2003, Marina del Rey, CA, USA. pp.593-598.
Formats:      .pdf
Title:        A Tool Set for Design By Contract For Java
By:           Jing Wang, Lizhang Qin, Naveen Vemuri, Xiaoping Jia
Published:    Proceedings of the 2003 Midwest Software Engineering Conference
              (MSEC’ 03). June 2003, Chicago, IL, USA. pp. 100-113
Formats:      .pdf

Other Related Papers 

Title:        Formal Structured Specification for Web Application Testing
By:           Xiaoping Jia, Hongming Liu, Lizhang Qin
Published:    Proceedings of the 2003 Midwest Software Engineering Conference
              (MSEC’ 03). June 2003, Chicago, IL, USA. pp.88-97.
Formats:      .pdf
Title:        Rigorous and Automatic Testing of Web Applications 
By:           Xiaoping Jia, Hongming Liu
Published:    Proceedings of the 6th IASTED International Conference on Software Engineering and Applications
              (SEA 2002) November 2002, Cambridge, MA, USA. pp.280-285
Formats:      .pdf