Curriculum Vitae, Dr. PEI HSIA

Professor
Department of Computer Science & Engineering
University of Texas at Arlington
Box 19015
Arlington, Texas  76019-0015
Telephone:  (817) 272-3785
Email: hsia@cse.uta.edu

Education

B.S., Mathematics, National Taiwan Univ., June 1966
M.S.C.S., Penn State University, 1970
Ph.D., University of Texas at Austin, 1972

Experience

Director, Software Engineering Center for Telecommunications,
Computer Science Engineering Department,
The University of Texas at Arlington, June 1989-present.
Professor, Computer Science Engineering Department,
The University of Texas at Arlington, September 1982-present.

Selected Publications

1) Hsia, “Software Requirements – It’s Future Directions,”  Invited Paper, Proceedings  of the 2nd U.S. Army Computer Software Symposium, Williamsburg, VA., pp. 87-94,October 1978.

2) P. Hsia, R. Mittermeir, R. T. Yeh, “Alternatives to Overcome the Communications Problems of Formal Requirements Analysis,” Proceedings of International Symposium on Current Issues of Requirements Engineering Environments, Kyoto, Japan, pp. 161-174, Sept. 20-21, 1982.

3) P. Hsia, and A. T. Yaung, “Requirements Clustering for Incremental Construction of Software Systems,” Proceedings of COMPSAC ’86, Chicago, IL, pp. 204-211, October 8-10, 1986.

4) D. J. Chen, K. M. Kavi, and P. Hsia, “A Planned Incremental Construction Method for Designing Software Systems,” Proceedings of COMPSAC ’87, Tokyo, Japan, pp. 96-102, October 1987.

5) P. Hsia, A. T. Yaung, “Screen-Based Scenario Generator:  A Tool for Scenario-Based Prototyping,” Proceedings of the Hawaii International Conference on Systems Sciences, pp. 455-461, Jan. 4-7, 1988.

6) P. Hsia, R. K. Guha, “Data Structures and Databases,” Systems Modeling and Computer Simulation, Editor, N. A. Keir, Dekker, pp. 265-290, 1988.

7) P. Hsia, A. T. Yaung, “Another Approach to System Decomposition: Requirements Clustering,” Proceedings of COMPSAC ’88, Chicago, IL, October 3-6, 1988.

8) M. Lindberg, P. Hsia, and R. M. Bond, “A Study of Requirements Change Effects on Incrementally Delivered Systems,” Proceedings of the Conference on Software Maintenance, Phoenix, Arizona, October 24-27,1988.

9) A. T. Yaung, and P. Hsia, “An Incremental Delivery Approach to System Development: An Empirical Study,” Proceedings of  COMPSAC ’89, Orlando, Florida, September 21-24, pp. 412-419, 1989.

10)  P. Hsia, and David Rine, “Special Purpose Languages,” Computer Languages, Vol. 17, No. 3, pp. 155-156, 1992.

11)  J. Y. Chen, and P. Hsia, “MDL (Methodology Definition Language):  A Language  for Defining and Automating Software Process,” Computer Languages, Vol. 17, No. 3, pp. 199-211, 1992.

12)  P. Hsia, “Learning to Put Lessons Into Practice,” IEEE Software, pp. 14-17,   September 1993.

13)  D. Kung, J. Gao, P. Hsia, J. Lin and Y. Toyoshima, “Design Recovery for Software Testing of Object-Oriented Programs,” Proc. of the Working Conference on Reverse Engineering, pp. 202-211, Baltimore, Maryland, May 21-23, IEEE Computer Society Press, 1993.

14)  D. Kung, J. Gao, P. Hsia, J. Lin and Y. Toyoshima, “Detecting and Locating Memory Leak in Object-Oriented Programs,” Proc. of 10th International Conference on Testing Computer Software, Washington, D.C., June 15-17, 1993.

15)  P. Hsia, A. Davis, and D. C. Kung, “Status Report: Requirements Engineering,” IEEE Software, pp. 75-79, November 1993.

16)  P. Hsia, H. S. Wang, and D. Kung, “Guided Reuse for Programmers,” Proceedings of the SEI Sponsored Conference on Software Engineering Education, San Antonio, Texas, January 5-7, 1994.

17)  P. Hsia, J. Samuel, J. Gao, D. Kung, C. Chen, and Y. Toyoshima, “Scenario Analysis: A Formal Approach,” IEEE Software, Vol. 11, No. 2, pp. 33-41, March 1994.

18)  A. Davis, and P. Hsia, “Giving Voices to Requirements Engineering,” IEEE Software, Vol. 11, No. 2, pp. 2-16, March 1994.

19)  D. Kung, J. Gao, P. Hsia, F. Wen, Y. Toyoshima, and C. Chen, "Change Impact Identification in Object-Oriented Software Maintenance,” Proc. of IEEE International Conference on Software Maintenance, pp. 202-211, 1994.

20)  D. Kung, J. Gao, and P. Hsia, “An Object-Oriented Testing and Maintenance Environment,” Proc. of CASCON ’94, Toronto, Oct. 31-Nov. 3, 1994.

21)  D. Kung, J. Lin, and P. Hsia, “An Object-Oriented Conceptual Model for Information Systems,” Proc. of 13th IFIP World Congress, pp.  259-264, Hamburg, Germany, August 28-Sepember 2, 1994.

22)  D. Kung, J. Lin, and P. Hsia, “Object-Oriented Conceptual Modeling and Analysis of Information Systems,” Proc. of International Conf. On Computing and Information 94, also in Journal of Computing and Information, Vol. 1, No. 1, 1994.

23)  D. Kung, N. Suchak, P. Hsia, Y. Toyoshima, and C. Chen, “On Object State Testing,” Proc. of COMPSAC ’94, pp. 222-227, IEEE Computer Society Press, 1994.

24)  P. Hsia, J. Gao, J. Samuel, D. Kung, Y. Toyoshima, and C. Chen, “Behavior-based Acceptance Testing of Software Systems: A Formal Scenario Approach,” Proc. of COMPSAC ’94 IEEE Computer Society Press, 1994.

25)  P. Hsia, J. Gao, J. Samuel, D. Kung, Y. Toyoshima, and C. Chen, “Behavior-based Integration Testing of Software Systems: A Formal Scenario Approach,” Proc. of 5th  International Conf. On Systems Integration 1994.

26)  J. Lin, and D. Kung, and Pei Hsia, “Toward an Object-Oriented Modeling Approach with Representation of Temporal Knowledge,” Proc. of COMPSAC ’94, pp. 58-63, IEEE Computer Society Press 1994.

27)  J. Gao, D. Kung, P. Hsia, Y. Toyoshima, C. Chen, “Object State Testing for Object-Oriented Programs,” Proc. of COMPSAC ’95, pp. 232-238, Dallas, Texas, August 9-11, 1995.

28)  P. Hsia, C. T. Hsu, D. Kung, A. Yaung, “An Analytical Study of the Maintenance Impact of Incremental Delivery,” Proceedings of the European Software Engineering Conference, Barcelona, Spain, September 25-28, 1995.

29)  D. Kung, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen, “Class Firewall, Regression Testing, and Software Maintenance of  Object-Oriented Systems,” Journal of Object Oriented Programming, pp. 51-65, 1995.

30)  D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y. Kim, and Y. Song, “Developing an Object-Oriented Software Testing and Maintenance Environment,” CACM, 75-87, October, 1995.

31)  P. Hsia, A. Gupta, C. Kung, J. Peng, and S. Liu, “A Study on the Effect of Architecture on Maintainability of Object-Oriented Systems,” Proc. IEEE International Conference on Software Maintenance, Nice, France, October 16-20, 1995.

32)  Hsia, J. Samuel, D. Kung, L. Li, C. T. Hsu, Y. Toyoshima, and C. Chen, “A Usage-model Based Approach to Testing Therac-25,” Proc. of 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, pp. 55-64, Nov. 1-3, 1995.

33)  J. Lin, D. Kung, and Pei Hsia, “Object-Oriented Specification and Formal Verification of Real Time Systems,” Annals of Software Engineering, Vol. 2, 1996.

34)  J. Lin, D. Kung, and P. Hsia, “An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems,” Journal of Informatica, Vol. 19, No. 1, pp. 43-58, 1996.

35)  D. Kung, J. Gao, P. Hsia, F. Wen, Y. Toyoshima, and C. Chen, “On Regression Testing of Object-Oriented Programs,” Journal of Systems and Software, Vol. 32, No. 1, pp. 21-40, January 1996.

36)  D. Kung, Y. Lu, N. Venugopalan, P. Hsia, Y. Toyoshima, C. Chen, J. Gao, “Object State Testing and Fault Analysis for Reliable Software Systems,” Proc. of 7th International Symposium on Software Reliability Engineering, White Plains, New York, Oct. 30-Nov. 2, 1996.

37)  H. Sohn, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen, “Reproducible Testing for Distributed Programs,” Proc. of 4th Int’l. Conference on Telecommunication Systems, Modeling and Analysis, Nashville, Tennessee, March 21-24, 1996.

38)  J. Lin, D. Kung, and P. Hsia, “A Scenario-Driven method for Requirements Specification and Analysis of Real-Time Systems,” Proc. of International Conference on Computers and Their Applications, San Francisco, California, pp. 284-287, March 7-9, 1996.

39)  K. Chang, D. Kung, P. Hsia, Y. Toyoshima, C. Chen, “Object-Oriented Data Flow Testing,” Proc. of International Conference on Computers and Their Applications, San Francisco, California, pp. 87-190, March 7-9, 1996.

40)  P. Hsia, C. T. Hsu, D. Kung, and L. Holder, “User-centered System Decomposition,” Proc. of International Conference on Requirements Engineering, Colorado Springs, Colorado, pp. 126-135, April, 1996.

41)  P. Hsia, X. Li, and D. Kung, “A History-based Approach for Early Faulty State Detection,” Proc. of 20th International Conference on Computer Software and Applications (COMSAC), Seoul, Korea, Aug. 21-23, 1996.

42)  P. Hsia, X. Li, and D. Kung, “An Early Warning Approach for Method Sequence Testing.” Proc. of 8th International Conference on Software Engineering and Knowledge Engineering, pp. 330-337, Knowledge Systems Institute, 1996.

43) H. Sohn, D. Kung, P. Hsia, Y. Toyoshima, and C. Chen, “Reproducible Testing of Concurrent and Distributed Programs,” Proc. of International Conference on Computers and Their Applications, San Francisco, California, pp. 288-291, March  7-9, 1996.

44) K. Chang, D. Kung, P. Hsia, Y. Toyoshima, C. Chen, “Object-oriented data flow testing,” Proc. of International Conference on Testing Computer Software, Washington, D.C., pp. 97-100, June 10-June 13, 1996.

45) P. Hsia,, X. Li, and D. Kung, “A history-based approach for early faulty state detection,” Proc. of 20th International Conference on Computer Software and Applications (COMPSAC), Soul, Korea, Aug. 21-23, 1996.

46) J. Lin, D. Kung, P. Hsia, “Top-down Development of Real-Time Software Specification”, Proc. of IEEE High-Assurance Systems Engineering Workshop, October 21-22, Niagara-on-the-lake, Canada, 1996.

47)  J. Gao, C. Chen, T. Yasufumi, D. Kung, and P. Hsia, “Identifying Polymorphism change and impact in object-oriented programs,” Journal of Software Maintenance, 1997.

48)  P. Hsia, D. Kung, and C. Sell, “Software requirements and acceptance testing,” Annals of Software Engineering, Vol. 3, pp 291 – 317, 1997.

49)  P. Hsia, X. Li, C. T. Hsu, D. Kung, “A Technique for Selective Revalidation of OO Software,” Journal of Software Maintenance, Vol. 9, pp. 217-233, 1997.

50) David C. Kung, John Lin, Pei Hsia, Bill Carroll, “Object-Oriented Real Time Systems Modeling and Verification,” Proc. 3rd International Workshop on Object-Oriented Real-time Dependable Systems, New Port Beach, California, Feb. 6-7, 1997, IEEE Computer Society Press, 1997.

51) P. Hsia and D. Kung, “Rapid Prototyping Through Simulation,” Proc. of 1998 Conference on Simulation Methods and Applications (CSMA98), Orlando, Florida, November 1-3, 1998

52) David C. Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao, “Object- Oriented Software Testing – Some Research and Development,” Proc. of  IEEE International Conference on High Assurance Systems Engineering (HASE’98), invited paper, to appear.  

53) P. Hsia, C. T. Hsu, D. C. Kung, and E. J. Byrne, “Incremental Delivery Reduces Maintenance Cost:  A COCOMO-based Study,” Journal of Software Maintenance,Volumn 10, issue 4, pp. 225-247, 1998.
 

Selected Contracts and Grants

1) Principal Investigator, AI Software Verification Project, Phase I, February 1986-May 1987. Sponsored by Bell Helicopter Textron.

2) Principal Investigator, “Requirements Clustering for Incremental Delivery of  Software Systems, July 1987 – December 1987.  Sponsored by General Dynamics. ($13,000).

3) Principal Investigator, “Requirements Clustering for Incremental Deliver of  Software Systems, May 1988-April 1989.  Sponsored by General Dynamics  ($150,000).

4) Principal Investigator, “Requirements Clustering for Incremental Delivery, Phase II,” March 1989-December 1989.  Sponsored by General Dynamics. ($50,000)

5) Received $25,000 gift from IEX for the Software Engineering Center for Telecommunications, January 1990.

6) Received $25,000 gift from BNR for the Software Engineering Center for Telecommunications, April 1990.

7) Received $37,100 gift from BNR for the joint research project between BNR and UTA on “Design Techniques Enabling Incremental Delivery of Software Systems,” January-December 1990.

8) Received $25,000 gift from NEC America for the Software Engineering Center for Telecommunications, November 1990.

9) Received $12,000 from R-TEC on Software Improvement, October 91-December 91.

10)  Received $25,000 gift from NEC America for the Software Engineering Center for Telecommunications, November 1991.

11)  Principal Investigator, “Object-Oriented Testing,”  December 1991 to 1994, sponsored by Fujitsu America, ($145,000).

12)  Received $250,000 gift from Fujitsu and HP supporting the research on Object-Oriented Testing, February 92-December 1993, P. Hsia and D. Kung.

13)  Principal Investigator, “Object-Oriented Testing of distributed Real-Time, Embedded Software Systems,” April to December 1994, sponsored by ETR of Korea, ($69,000).

14)  Received $15,000 gift from IBM to support the Object-Oriented Testing research project, May 1994.

15)  Object-Oriented Software Testing and Maintenance, IBM, $75,000, Ph.D. Fellowship, January 1995-December 1997.  With Dave Kung.

16)  A course on OO Programming to Facilitate the Paradigm Shift to Object-Orientation, IBM, $23,500, January 1995-May 1995.  With Dave Kung.

17)  A Professional Training Program on OpenDoc and Object-Oriented Programming, IBM, $89,500, June 1995-November 1995.  With Dave Kung.

18)  Software Tools for Object-Oriented Software Testing and  Maintenance, Sun Microsystems Computer Company, $47,185 (equipmentdonation), January 1996. With Dave Kung.

19)  Object-Oriented Software Testing of Open OODB, BBN and ONR, $10,000, August 1996-September 1996.  With Dave Kung.

20)  A Course on OO Programming for Paradigm Shift, RTEC, $49,500, May 1996-December 1996.  With Dave Kung.

21)  An Object-Oriented Real Time Systems Modeling and Verification Methodology, NSF, $410,000 (pending), with Dave Kung, September 1997.

22) OO Software Testing, Funded Gift with Dave Kung, Fujitsu Network, $70,000, April 1997 – March 1998.

23)   OOT Works:  Tools for OO Software Testing with Dave Kung, Texas State, $315,000, January 1998 – December 1999.

Organizational Memberships and Selected Activities

Conference Chair, ICRE 2000, an IEEE/Computer Society Sponsored Conference
Senior Member, IEEE
Member, Association for Computer Machinery
Member, Steering Committee of ICRE

Research Summary

Pei Hsia’s areas of research interest include Software Requirements Engineering, Software Engineering Process, Incremental Delivery Technology and Software Testing  & Maintenance.  He has advocated disciplines in software engineering  since 1975 by working on “Disciplined Framework for Software Engineering”.  This research led to the development of Computer Aided Programming Environment (CAPE) system.  It was used successfully in the Pascal courses taught at the University of Texas at Arlington.  His current endeavor is to establish a more practical software development  paradigm:  Incremental Delivery.  This is a specific requirements-based method, which allows one to  “grow” software to one’s need by providing a means for software to evolve.  In order to uncover the real benefits of this new paradigm, Dr. Hsia also investigated that design complexity is affected by the Incremental Delivery Technology and the newtechnology enhances software maintainability.  Hsia has developed a tool  for requirements identification called Screen Based Scenario Generation System (SBSG).  It is an inexpensive way to construct rapid prototypes.  The system is applied to F-16 software
maintenance project sponsored by General Dynamics at Fort Worth, Texas. He currently advises R-TEC, a telecommunication company, in their software process in order to improve R-TEC software product quality.  His research group at  UT Arlington has been working on OO Testing research and has developed a tool with the following capabilities:

1) Given an arbitrary C++ library, the UTA group has developed an algorithm to determine a test order for the classes/objects.  It is the optional cost-effective order to test the library.

2) A “firewall” technology has been established for C++ programs to eliminate the unnecessary test cases in the test suite of regression testing.  It can identify the changes and their impacts of a new program and encircling all the affected classes in a firewall, thus eliminates all the test cases, which do not touch the classes inside the firewall.

3) A methodology has been developed to generate a comprehensive set of test cases for acceptance testing through a formal scenario analysis technique invented at UTA.