Publications


  1. D. Kung, C. Liu and P. Hsia, ``A model-based approach for testing web applications,'' Proc. of Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, July 6-8, 2000.

  2. David Kung, Chien-hung Liu and Pei Hsia, ``An object-oriented web test model for testing web applications,'' in Proc. of IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC2000), Taipei, Taiwan, October 25 -- October 29, 2000.

  3. David Kung, Kuangnan Chang, and Pei Hsia, ``Using mathematic induction for system verification,'' Proceedings of the IASTED International Conference on Software Engineering and Applications, SEA00, pp. 73-79, 2000.

  4. David Kung, Kuang-Nan Chang, Pei Hsia, ``Inductive Model Checking,'' Proc. of 25th IEEE Intl' Computer Software and Applications Conference (COMPSAC'01), Chicago, Illinois, Oct. 8-12, 2001.

  5. David Kung, Kuangnan Chang, and Pei Hsia, ``Inductive Model Checking,'' The 1st International Workshop on Model-based Requirements Engineering, MBRE01, pp. 69-76, 2001.

  6. David C. Kung, Hitesh Bhambhani, Riken Shah and Gaurav Pancholi, ``An expert system for suggesting design patterns: a methodology and a prototype,'' in Software Engineering With Computational Intelligence, Taghi M. Khoshgoftaar (Editor), Kluwer International Series in Engineering and Computer Science, March 2003.

  7. David Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri ``Lessons learned from software engineering multiagent systems,'' Proc. of IEEE COMPSAC'03, Dallas, Texas, November 3--6, 2003.

  8. David Kung, ``An agent-based framework for testing Web applicaitons,'' Proc. of First International Workshop on Quality Assurance and Testing of Web Applications, in conjunction with COMPSAC'04, Hong Kong, September 30, 2004, IEEE Computer Society Press, 2004.

  9. D. Kung, ``An analysis of three conceptual models with time perspective,'' in Information Systems Design Methodologies: A Feature Analysis, Olle, et al ed., pp. 141 - 168, Elsevier Science Publishing Comp., 1983.

  10. D. Kung, ``A Temporal Framework for Information Systems Specification and Verification,'' Ph.D Thesis, Dept. of Computer Science, The Norwegian Inst. of Tology, Trondheim, NORWAY, April 1984.

  11. D. Kung, ``A temporal framework for database specification and verification,'' Proc. 10th Intl' Conf. on VLDB, pp. 91 - 99, 1984.

  12. D. Kung, ``A tableaux approach for consistency checking,'' in Theoretical and Formal Aspect of Information Systems, A. Sernadas, et al (ed.s), Elsevier Science Publishing Comp., pp. 191 - 207, 1985.

  13. D. Kung, ``On verification of database temporal constraints,'' Proc. ACM SIGMOD Annual Conference on Management of Data, pp. 169 - 179, 1985.

  14. D. Kung, ``High parallelism and a proof procedure: theoretical considerations,'' in ``Decision Support Systems,'' Vol.1 No.4, pp. 323 - 332, 1985.

  15. D. Kung and A. Solvberg, ``Activity modeling and behavior modeling of information systems,'' in Information Systems Design Methodologies: Improving the Practice,'' Olle, et al (ed.s), pp. 145 - 171, 1986.

  16. D. Kung, ``High parallelism and an efficient reasoning procedure,'' Presented at the First International Conference on Artificial Intelligence and its Applications, Singapore, 1986. Invited talk.

  17. D. Kung, ``A parallel inference method based on matrix representation and unification,'' Journal of Computers, vol. 11, no. 2, Feb. 1988. pp. 89 - 98.

  18. D. Kung, ``Conceptual modeling in the context of software development,'' IEEE Trans. on Software Eng. Vol. 15, No. 10, pp. 1176 - 1187, (Oct. 1989).

  19. D. Kung, ``Object subclass hierarchy in SQL: a simple approach,'' CACM, vol. 33, no. 7, pp. 117 - 125, July, 1990.

  20. D. Kung, ``Process interface modeling and consistency checking,'' Journal of Systems and Software, Vol. 15, pp. 185 - 191, May 1991.

  21. D. Kung, ``The behavior network model for conceptual information modeling.'' Journal of Information Systems, Vol. 18, No. 1, pp. 1 - 21, 1993.

  22. 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.

  23. D. Kung, ``The object-oriented paradigm,'' Encyclopedia of Microcomputers, Vol. 12, pp. 287 - 305, Marcel Dekker Publishing Inc., 1993.

  24. D. Kung, N. Suchak, 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.

  25. 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.

  26. 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 - September 2, 1994.

  27. 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.

  28. 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.

  29. D. Kung, ``On decision tree verification and consolidation,'' Journal of Information and Software Technology, vol 36, no 7, pp. 485 - 494, 1994.

  30. D. Kung, J. Gao, and P. Hsia, ``An object-oriented testing and maintenance environment,'' CASCON'94, Toronto, Oct. 31 -- Nov. 3, 1994.

  31. D. Kung, ``An Executable Visual Formalism for Object Oriented Conceptual Modeling,'' Journal of Systems and Software, Vol. 31, No. 1, pp. 33 -- 43, October 1995.

  32. 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, May 1995.

  33. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen, ``A test strategy for object-oriented systems,'' Proc. of Computer Software and Applications Conference, pp. 239 -- 244, Dallas Texas, August 9--11, IEEE Computer Society, 1995.

  34. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y.S. Kim, and Y. Song, ``Developing an object-oriented software testing and maintenance environment'' , Communications of the ACM, Vol. 38, No. 10, pp. 75 -- 87, October 1995.

  35. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen, ``Tools for testing object-oriented programs,'' Proc. of 12th International Conference on Testing Computer Software, Washington D.C., June 13 -- 15, 1995.

  36. 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.

  37. D. Kung, S.R. Oksanen and J. Lin, ``Object-oriented Conceptual Modeling and Verification of Real Time Systems,'' Proc. of 20th International Conference on Computer Software and Applications (COMPSAC), Soul, Korea, Aug. 21 -- 23, 1996.

  38. 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.

  39. David D. 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.

  40. David D. Kung, Chien-hung Liu, Pei Hsia, ``Object-Oriented Real Time Systems Specification and Model Checking,'' Proc. of IEEE International Conference on High Assurance Systems Engineering (HASE'98), Washington D.C., Nov. 13 -- 14, 1998.

  41. David D. Kung, Pei Hsia and Gerry Gao, ``Testing Object-Oriented Software,'' IEEE Computer Society Press, 1998.

  42. David D. 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), pp. 158 -- 165, Washington D.C., Nov. 13 -- 14, 1998.

  43. David D. Kung and Pei Hsia, ``A Reverse Engineering Approach for Software Testing of Object-Oriented Programs,'' Proc. of IEEE Symposium on Application Specific Systems and Software Engineering Technology (ASSET'99), pp. 42 -- 49, IEEE Computer Society Press, 1999.

  44. K. Chang, D. Kung and Pei Hsia, ``Using Mathematical Induction for System Verification,'' Proc. of Softare Engineering and Applications, Las Vegas, November 6-9, 2000.

  45. Kuangnan Chang and David Kung, ``An efficient way for specifying state-based systems in Promela,'' Proc. of 6th International Conf. on Software Engineering and Applications (SEA 2002), Cambridge, USA, Nov. 4 -- 6, 2002.

  46. 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. 187 - 190, March 7 - 9, 1996.

  47. 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., June 10 -- June 13, pp. 97 -- 100, 1996.

  48. Kuangnan Chang, David Kung, Pei Hsia, ``OBL: A Formal Deduction Method for Object-Oriented Systems'' Proc. of 23rd IEEE Intl' Computer Software and Applications Conference (COMPSAC'99), Pheonix, Arizonal, Oct. 1999.

  49. C. M. Chao and D. Kung, ``Rapid prototyping of conceptual database design on a relational database management system,'' Proc. 10th Intl' Conf. on Entity-Relationship Approach, San Mateo, pp. 93 - 109, Oct. 23 - 25, 1991.

  50. Weijia Deng, Yu Lei, Richard Carver and David Kung, ``MonitorExplorer: A State Exploration-Based Approach to Testing Java Monitors,'' Proceedings of 17th IEEE International Symposium on Software Reliability Engineering (ISSRE), Raleigh, North Carolina, USA, November 6-10, 2006.

  51. 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.

  52. Jerry Gao, C. Chen, Y. Toyoshima, D. Kung, and P. Hsia, ``Identifying polymorphism change and impact in OO software maintenance,'' Journal of Software Maintenance: Research and Practice, Vol. 8, No. 6, Nov./De., 1996.

  53. 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.

  54. G. Grosz and D. Kung, ``Generic Structures: a reuse-based approach to conceptual design of information systems,'' Proceedings of the 2nd Workshop on Information Technology and Systems, December 1992.

  55. P. Hsia, A. Davis, and D. Kung, ``Status report: requirements engineering,'' IEEE Software, Vol. 10, No. 6, pp. 75 - 79, Nov. 1993.

  56. P. Hsia, H.S. Wang, and D. Kung, ``Guided Reuse for Programmers,'' Proc. of the SEI Sponsored Conference on Software Engineering, San Antonio, Texas, January 5 - 7, 1994.

  57. P. Hsia, J. Samuel, J. Gao, D. Kung, Y. Toyoshima, and C. Chen, ``A formal approach for scenario analysis,'' IEEE Software, Vol. 11, No. 2, pp. 33 - 41, March 1994.

  58. 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.

  59. 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.

  60. P. Hsia, C.T. Hsu, D. Kung, and A. Yaung, ``Incremental Delivery and its Reduction on Maintenance Cost - An Analytical Study,'' Proc. of European Conference on Software Engineering, 1995.

  61. P. Hsia, A. Gupta, D. 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.

  62. P. Hsia, J. Samuel, D. Kung, L. Li, C. 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, Nov. 1 -- 3, 1995.

  63. P. Hsia, C. Hsu, D. Kung, and L. Holder, ``User-centered system decomposition,'' Proc. of International Conference on Requirements Engineering, 1996.

  64. 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.

  65. 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.

  66. P. Hsia, D. Kung, and C. Sell ``Software requirements and acceptance testing,'' Annals of Software Engineering, Vol. 3, pp. 291 -- 317, 1997.

  67. P. Hsia, X. Li, C. Hsu, D. Kung, ``A Technique for Selective Revalidation of OO Software,'' Journal of Software Maintenance, 1997.

  68. Pei Hsia and David Kung, ``An object-oriented testing and maintenance environment,'' Proc. of International Conference on Software Engineering (tools section), pp. 608 -- 609, Boston, Massachusetts, May 17 -- 23, ACM Press, 1997.

  69. 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.

  70. K. Miller, P. Hsia, D. Kung ``Object-Oriented Architecture Measures,'' Proc. of 32nd Ann. Hawaii International Conf. on Systems Sciences, Jan. 5-8, Maui, Hawaii, 1998.

  71. P. Hsia, D. Kung, C.T. Hsu, ``Incremental Delivery Reduces Maintenance Cost,'' Journal of System Maintenance, Vol. 10, No. 4, pp. 225-247, 1998.

  72. Pei Hsia, Chih-tung Hsu, David D. Kung, ``Brooks' Law Revisited: A System Dynamics Approach'' Proc. of 23rd IEEE Intl' Computer Software and Applications Conference (COMPSAC'99), Pheonix, Arizonal, Oct. 1999.

  73. Krishna Kavi, Mohamed Aborizka and David Kung, ``A framework for designing, modeling and analyzing agent based software systems,'' in Proc. of 5th International Conference on Algorithms \& Architectures for Parallel Processing, October 23-25, 2002, Beijing, China.

  74. Krishna Kavi, David Kung, Hitesh Bhambhani, Gaurav Pancholi, Marie Kanikarla, Riken Shah, ``Extending UML to Modeling and Design of Multi-Agent Systems,'' Proc. of ICSE 2003 Workshop on Software Engieering for Large Multi-Agent Systems (SELMAS), Portland, Oregon, May 3--4, 2003.

  75. Yu Lei, David Kung and Qizhi Ye, ``A blocking based approach to protocol validation,'' Proc. of COMPSAC'05, pp. 301-306, IEEE Computer Society Press, 2005.

  76. 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, Feb. 1995.

  77. 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.

  78. 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.

  79. J. Lin, D.D. Kung, and P. Hsia, ``Top-Down Development of Real-Time Software Specification'' , Proc. of IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara-on-the-Lake, Canada.

  80. J. Lin, D. Kung, and Pei Hsia, ``Object-oriented specification and formal verification of real time systems,'' Annals of Software Engineering, Vol. 2, 1996.

  81. Chien-hung Liu, David Kung and Pei Hsia, ``Structural testing of web applications,'' Proceedings of 11th IEEE International Symposium on Software Reliability Engineering, San Jose, California, October 8 -- 11, 2000.

  82. C. Liu, D. Kung, P. Hsia and C. Hsu, ``Object-based data flow testing for web applications,'' Proc. of First Asian Pacific Conference on Quality Software (APAQS2000), pp. 7-16, October 30 - 31, 2000.

  83. C-H Liu, D. D. Kung, P. Hsia and C-T Hsu, ``An object-based data flow testing approach for web applications,'' International Journal of Software Engineering and Knowledge Engineering, Vol 11, No. 2, pp. 157-179, April 2001.

  84. R. Meersman, Z. Shi, and D. Kung (ed.s), ``The Role of AI in Databases and Information Systems,'' IFIP TC 8/WG 8.1 Working Conference, Elsevier Science Publishing Comp., October 1988.

  85. B. K. Miller, P. Hsia, and D. Kung, ``Object-Oriented Design Measures'' , the Proceedings of the 13th Annual All-Raytheon Software Symposium, Burlington, MA, December 2--3, 1998.

  86. Yu Qi, D. Kung and E. Wong, ``An agent-based testing approach for web applications,'' Proceedings IEEE Second International Workshop on Quality Assurance and Testing of Web-Based Applications (QATWBA), Edinburgh, Scotland, July 25-28, 2005, IEEE Computer Society Press, 2005. pp. 45-50.

  87. Yu Qi, David Kung and Eric Wong, ``An Agent-based Data-Flow Testing Approach for Web Applications,'' Journal of Information and Software Technology, July 2006.

  88. 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.

  89. 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.

  90. H. Sohn, D. Kung and P. Hsia, ``State-based reproducible testing for CORBA applications,'' Proc. of IEEE International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 24 - 35, May 17-18, 1999.

  91. Hwan Wook Sohn, David D. Kung, Pei Hsia, ``CORBA Components Testing with Perception-based State Behavior'' Proc. of 23rd IEEE Intl' Computer Software and Applications Conference (COMPSAC'99), Pheonix, Arizonal, Oct. 1999.

  92. Solvberg A. and D. Kung, ``Integrating database design tools,'' Proc. 3rd Scandinavian Seminar on Information Modeling and DBMS (H. Kangassalo ed.), Acta Unitis Tamperensis SER. B, Vol.22, 1984. pp. 277 - 298.

  93. A. Solvberg and D. Kung, ``On structural and behavioral modeling of reality,'' in Database Semantics, R. Meersman, et al (ed.s), Elsevier Science Publishing Comp., pp. 2058, 1985.

  94. A. Solvberg and D. Kung, ``An Introduction to Information Systems Engineering,'' Springer-Verlag, 1993.

  95. Tao, Y. and D. Kung. ``Formal Definition and Verification of Data Flow Diagrams.'' in Journal of Systems and Software, Vol. 16, pp. 29 - 36, September 1991.

  96. Qizhi Ye, Yu Lei, and David Kung, ``A blocking based approach to protocol validation,'' The Computer Journal, May 2006.

  97. Hong Zhu and David Kung, ``Assuring quality of web-based applications --- Editorial of the special issue on Quality Assurance and Testing of Web-based Applications,'' Journal of Information and Software Technology, July 2006.