avatar

David C Kung

Professor, Computer Science and Engineering
Last Updated: June 14, 2021
about me

Research Interests

Research Interests
Software engineering, agile methods, software development methodology, design patterns, software testing, software security.

Teaching Interests

Teaching Interests
Software engineering, agile development methodology, software design patterns, object-oriented software testing.

Biography

Biography

Dr. David Kung is a full professor of the Department of Computer Science and Engineering at The University of Texas at Arlington. He is also the director of the Software Engineering Research Center. He has more than 30 years software engineering experience working in academia and industry. He works with numerous companies in terms of training, consulting, and research collaboration. His research and teaching include agile methods, software design patterns, testing OO software, and testing for security. He has written/edited four books and published more than 100 technical articles. He and his students have designed and prototyped an agile development environment, and an OO software testing and maintenance environment, called OOTWorks, which was licensed to several leading IT, and telecommunications companies.

Education

Education

    • 1984 PhD in Computer Science
      Norwegian Institute Of Technol
    • 1980 MS in Computer Science
      Norwegian Institute Of Technol
    • 1977 BS in Mathematics
      Beijing University Of Science

Appointments

Appointments

    • Jan 1990 to Dec 1990 Staff Software Scientist
      International Software Systems Inc. (Austin, TX, United States)
    • Jan 1987 to Jan 1989 Assistant Professor
      CS Dept., The University of Iowa (IA)
    • Jan 1986 to Dec 1986 Assistant Professor
      Norwegian Institute of Technology (Norway)
    • Jan 1984 to Jan 1985 Postdoctoral Fellowship
      NTNF (Norway)
    • Jan 1980 to Jan 1984 Ph.D. Candidate and TA
      Norwegian Institute of Technology
    • Jan 1978 to Jan 1980 Ph.D. Candidate
      Academia Sinica

Support & Funding

Support & Funding

This data is entered manually by the author of the profile and may duplicate data in the Sponsored Projects section.
    • Sept 2014 to May 2022 Collaborative: I/UCRC for Assistive Technologies to Enhance Human Performance sponsored by  -  $638310
      (Funded)
    • Aug 2013 to July 2014 Planning Grant: Collaborative: I/UCRC for Assistive Technologies to Enhance Human Performance sponsored by  -  $16032
      (Funded)
    • Sept 2006 to Aug 2009 IRA: Master Agreement with Ayoka, LLC sponsored by  -  $207313
      David Kung (Funded)
    • May 2005 to Aug 2008 Webtronics Competition and Proactive Student Retention: Increasing Undergraduate in Software Engineering sponsored by  -  $58500
      (Funded)
    • June 2001 to Aug 2003 Software Development for Entact sponsored by  -  $108000
      David Kung (Funded)
    • Oct 2000 to Jan 2002 A web portal system for Intergated Password Security Management sponsored by  -  $35000
      David Kung (Funded)
    • Jan 1998 to Dec 1999 OOTWorks: Tools for Object-Oriented Software Testing sponsored by  -  $311850
      David Kung (Funded)
    • Dec 1991 to Dec 1999 An Object-Oriented Testing Methodology - A proposal to Fujitsu Netwok Transmission Systems, Inc. sponsored by  -  $150000
      David Kung (Funded)
    • July 1999 to Aug 1999 Technology Transfer of OOTWorks to Ericsson sponsored by  -  $13542
      David Kung (Funded)
    • Jan 1996 to Aug 1998 An Object-Oriented Real Time Systems Modeling and Verification Methodology sponsored by  -  $189540
      (Funded)
    • May 1996 to Jan 1997 A Course on OO Programming for Paradigm Shift sponsored by  -  $48756
      David Kung (Funded)
    • July 1996 to Sept 1996 Investigation of Open OODB Testing Using OO Testing Tools sponsored by  -  $10000
      David Kung (Funded)
    • Jan 1994 to Dec 1995 Objected-Oriented Testing and Maintenance Methedology sponsored by  -  $179550
      David Kung (Funded)
    • Jan 1994 to Dec 1994 Object-Oriented Testing for Distributed Real Time Embedded Systems sponsored by  -  $59000
      David Kung (Funded)
    • June 1995 to Nov 1995 A Professional Training Program on Opendoc and Object-Oriented Programming sponsored by  -  $116345
      David Kung (Funded)
    • Jan 1995 to Apr 1995 A Course on 00 Programming to Facilitate the Paradigm to Object-Orientation sponsored by  -  $23373
      David Kung (Funded)

Publications


      2013
      • Book
        Object-Oriented Software Engineering: An Agile Unified Methodology
        [Kung, DavidC]. "McGraw-Hill Higher Education".

      1998
      • Book
        Testing Object-Oriented Software
        [Kung, DavidC, Hsia, Pei, Gao, Gerry]. "IEEE Computer Society Press".

      1993
      • Book
        An Introduction to Information Systems Engineering
        [Solvberg, A., Kung, DavidC]. "Springer-Verlag".

      1988
      • Book
        The Role of AI in Databases and Information Systems
        [Meersman, R., Shi, Z., D. Kung (ed.s)]. "Elsevier Science Publishing Comp.".

      2008
      • Book Chapter
        Software verification and validation
        in Encyclopedia of Computer Science and Engineering
        [Kung, DavidC, Zhu, Hong]. "Benjamin Wah (editor), John Wiley \& Sons, Inc., 2008.".

      2003
      • Book Chapter
        An expert system for suggesting design patterns: a methodology and a prototype
        in Software Engineering With Computational Intelligence, Taghi M. Khoshgoftaar (Editor)
        [Kung, DavidC, Bhambhani, Hitesh, Shah, Riken, Pancholi, Gaurav]. "Kluwer International Series in Engineering and Computer Science, March 2003.".

      In Process
      • Journal Article
        A Conceptual Modeling Methodology
        [Kung, David]. In Preparation; Not Yet Submitted.

      2018
      • Journal Article
        A Combinatorial Testing-Based Approach to Fault Localization
        [Ghandehari, LalehSh., Lei, Yu, Kacker, Raghu, Kuhn, Richard, Kung, DavidC]. IEEE Transactions on Software Engineering.

      2016
      • Journal Article
        Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models
        [Junaid, Mohsin, Liu, Donggang, Kung, DavidC].

      2014
      • Journal Article
        A distributed framework for demand-driven software vulnerability detection
        [Zhang, Dazhi, Liu, Donggang, Csallner, Christoph, Kung, DavidC, Lei, Yu].

      2013
      • Journal Article
        A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC].

      2012
      • Journal Article
        SimFuzz: Test Case Similarity Directed Deep Fuzzing
        [Zhang, D., Liu, D., Lei, J., Kung, DavidC, Csallner, Christoph, Wang, Wenhua].

      2007
      • Journal Article
        A combinatorial testing strategy for concurrent programs
        [Lei, Yu, Carver, RichardH., Kacker, Raghu, Kung, DavidC].

      2006
      • Journal Article
        A blocking based approach to protocol validation
        [Ye, Qizhi, Lei, Yu, Kung, DavidC].
      • Journal Article
        An agent-based data-flow testing approach for web applications
        [Qi, Yu, Kung, DavidC, Wong, Eric].
      • Journal Article
        Assuring quality of web-based applications -- Editorial of the special issue on Quality Assurance and Testing of Web-based Applications
        [Zhu, Hong, Kung, DavidC].

      2001
      • Journal Article
        An object-based data flow testing approach for web applications
        [Liu, C-H, Kung, D.D., Hsia, P., Hsu, C-T].

      1998
      • Journal Article
        Incremental Delivery Reduces Maintenance Cost
        [Hsia, P., Kung, DavidC, Hsu, C.T.].

      1997
      • Journal Article
        A Technique for Selective Revalidation of OO Software
        [Hsia, P., Li, Xiaojing, Hsu, C., Kung, DavidC].
      • Journal Article
        Identifying Polymorphism change and impact in object-oriented programs
        [Gao, JeanXuejing, Chen, Christopher, Yasufumi, T., Kung, DavidC, Hsia, P.].
      • Journal Article
        Software requirements and acceptance testing
        [Hsia, P., Kung, DavidC, Sell, C.].

      1996
      • Journal Article
        Identifying polymorphism change and impact in OO software maintenance
        [Gao, Jerry, Chen, Christopher, Toyoshima, Y., Kung, DavidC, Hsia, P.].
      • Journal Article
        Object-oriented specification and formal verification of real time systems
        [Lin, J., Kung, DavidC, Hsia, Pei].
      • Journal Article
        On regression testing of object-oriented programs
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Wen, F., Toyoshima, Y., Chen, Christopher].

      1995
      • Journal Article
        An Executable Visual Formalism for Object Oriented Conceptual Modeling
        [Kung, DavidC].
      • Journal Article
        An object-oriented approach for modeling and analysis of safety-critical real-time systems
        [Lin, J., Kung, DavidC, Hsia, P.].
      • Journal Article
        Class firewall, regression testing, and software maintenance of object oriented systems
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Journal Article
        Developing an object-oriented software testing and maintenance environment
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher, Kim, Y.S., Song, Y.].

      1994
      • Journal Article
        A formal approach for scenario analysis
        [Hsia, P., Samuel, Jayarajan, Gao, JeanXuejing, Kung, DavidC, Toyoshima, Y., Chen, Christopher].
      • Journal Article
        Object-oriented conceptual modeling and analysis of information systems
        [Kung, DavidC, Lin, J., Hsia, P.].
      • Journal Article
        On decision tree verification and consolidation
        [Kung, DavidC].

      1993
      • Journal Article
        Status report: requirements engineering
        [Hsia, P., Davis, A., Kung, DavidC].
      • Journal Article
        The behavior network model for conceptual information modeling.
        [Kung, DavidC].
      • Journal Article
        The object-oriented paradigm
        [Kung, DavidC].

      1991
      • Journal Article
        Process interface modeling and consistency checking
        [Kung, DavidC].

      1990
      • Journal Article
        Object subclass hierarchy in SQL: a simple approach
        [Kung, DavidC].

      1989
      • Journal Article
        Conceptual modeling in the context of software development
        [Kung, DavidC].

      1988
      • Journal Article
        A parallel inference method based on matrix representation and unification
        [Kung, DavidC].

      1985
      • Journal Article
        High parallelism and a proof procedure: theoretical considerations
        [Kung, DavidC].

      In Process
      • Conference Proceeding
        StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification
        in Proceedings of Annual Computer Security Applications Conference (ACSAC'18).
        [Junaid, Mohsin, Ming, Jiang, Kung, DavidC]. Published.

      2017
      • Conference Proceeding
        Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
        Proc. of 10th International Conference on Software Testing, Verification, and Validation (ICST), Tokyo Japan, March 13-18, 2017.
        [Xu, Jing, Lei, Yu, Caver, Richard, Kung, DavidC].

      2016
      • Conference Proceeding
        An object-oriented analysis and design environment
        Proc. of IEEE 29th Conference on Software Engineering Education and Training, Dallas, Texas, April 5 - 6, 2016. pp. 91-100.
        [Kung, DavidC, Lei, Jeff].
      • Conference Proceeding
        Minimizing Stress Tests for Concurrent Data Structures
        submitted to IEEE International Conference on Automatic Software Engineering 2016.
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC].
      • Conference Proceeding
        An agile methodology for reengineering object-oriented software
        Proc. of 28th International Conference on Software Engineering and Knowledge Engineering, Redwood City, San Francisco Bay, California, USA, July 1 - July 3, 2016.
        [Sahoo, Anam, Kung, DavidC, Gupta, Sanika].

      2015
      • Conference Proceeding
        A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
        in Proceedings of 8th IEEE International Conference on Software Testing, Verification and Validation, Graz Austria, April 13-17, 2015.
        [Xu, Jing, Lei, Yu, Carver, R., Kung, DavidC].

      2013
      • Conference Proceeding
        Fault Localization Based on Failure-Inducing Combinations
        Proceedings of International Symposium on Software Reliability Engineering (ISSRE), Pasadena, California, Nov. 4-7, 2013. pp. 168-177.
        [Ghandehari, LalehShikh Gholamhossein, Lei, Yu, Kung, DavidC, Kacker, Raghu, Kuhn, Richard].
      • Conference Proceeding
        On use case identification
        Proc. of 25th Int'l Conference on Software Engineering and Knowledge Engineering, Boston, USA, June 26-29, 2013.
        [Kung, DavidC].

      2011
      • Conference Proceeding
        A combinatorial approach to detecting buffer overflow vulnerabilities
        in Proceedings of 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN), Boston USA 2011. pp. 269 - 278.
        [Wang, Wenhua, Lei, Yu, Liu, Donggang, Kung, DavidC, D., Csallner, Christoph, C., Zhang, Dazhi, Kacker, R., Kuhn, R.].
      • Conference Proceeding
        Testing configurable component-based software - configuration test modeling and complexity analysis
        in Proceedings of International Conference on Software Engineering and Knowledge Engineering, Miami, USA, July 7 - July 9, 2011.
        [Gao, Jerry, Guan, Jing, Ma, Alex, Tao, Chuanqi, Bai, Xiaoying, Kung, DavidC].

      2010
      • Conference Proceeding
        Detecting vulnerabilities in C programs using trace-based testing
        in Proceeding of IEEE International Conference on Dependable Systems and Networks, Chicago, Illinios, 2010. pp. 241-250.
        [Zhang, D., Liu, D., Lei, J., Kung, DavidC, Csallner, Christoph, Wang, W.].

      2008
      • Conference Proceeding
        Reusing existing test cases for security testing
        Proc. of IEEE International Symposium on Software Reliability Engineering (ISSRE 2008). pp. 323-324.
        [Zhang, Dazhi, Wang, Wenhua, Liu, Donggang, Lei, Yu, Kung, DavidC].

      2007
      • Conference Proceeding
        Conceptual modeling and software design of multi-agent systems
        in Conceptual Modelling in Information Systems Engineering, John Krogstie, Andreas Lothe Opdahl and Sjaak Brinkkemper (eds.), pp. 159-176, Springer-Verlag, 2007.
        [Kung, DavidC, Kavi, Krishna].

      2006
      • Conference Proceeding
        A state exploration-based approach to testing Java monitors
        Proc. of IEEE Intl. Symposium On Software Reliability Engineering (ISSRE'06), Nov. 2006. pp. 256-265.
        [Lei, Yu, Carver, R., Kung, DavidC, Gupta, V., Hernandez, MaryChristina].
      • Conference Proceeding
        Inductive Model Checking
        Proc. of 30th IEEE International Computer and Software Applications Conference, Chicago, Sept. 17-21, 2006.
        [Chang, Kuangnan, Kung, DavidC].
      • Conference Proceeding
        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.
        [Deng, Weijia, Lei, Yu, Carver, Richard, Kung, DavidC].

      2005
      • Conference Proceeding
        A blocking based approach to protocol validation
        Proc. of COMPSAC'05 Conference, pp. 301-306, IEEE Computer Society Press, 2005.
        [Lei, Yu, Kung, DavidC, Ye, Qizhi].
      • Conference Proceeding
        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.
        [Qi, Yu, Kung, DavidC, Wong, E.].

      2004
      • Conference Proceeding
        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.
        [Kung, DavidC].
      • Conference Proceeding
        Software Engineering for Large-Scale Multi-agent Systems
        SELMAS'04, 2004. pp. 752-753.
        [Choren, Ricardo, Garcia, AlessandroF., Jos Pereira de Lucena, Carlos, Griss, MartinL., Kung, DavidC, Minsky, NaftalyH., Romanovsky, AlexanderB.].

      2003
      • Conference Proceeding
        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. pp. 3-10.
        [Kavi, Krishna, Kung, DavidC, Bhambhani, Hitesh, Pancholi, Gaurav, Kanikarla, Marie, Shah, Riken].
      • Conference Proceeding
        Lessons learned from software engineering multiagent systems
        Proc. of IEEE COMPSAC'03 Conference, Dallas, Texas, November 3-6, 2003.
        [Kung, DavidC, Bhambhani, Hitesh, Nwokoro, Sheila, Okasha, Wesam, Kambalakatta, Ravindra, Sankuratri, Praveen].

      2002
      • Conference Proceeding
        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.
        [Kavi, Krishna, Aborizka, Mohamed, Kung, DavidC].
      • Conference Proceeding
        An efficient way for specifying state-based systems in Promela
        Proc. of 6th International Conference on Software Engineering and Applications (SEA 2002), Cambridge, USA, Nov. 4-6, 2002.
        [Chang, Kuangnan, Kung, DavidC].

      2001
      • Conference Proceeding
        Inductive Model Checking
        The 1st International Workshop on Model-based Requirements Engineering, MBRE01, pp. 69-76, 2001.
        [Kung, DavidC, Chang, Kuangnan, Hsia, Pei].
      • Conference Proceeding
        Inductive Model Checking
        Proc. of 25th IEEE Intl' Computer Software and Applications Conference (COMPSAC'01), Chicago, Illinois, Oct. 8-12, 2001.
        [Kung, DavidC, Chang, Kuang-Nan, Hsia, Pei].

      2000
      • Conference Proceeding
        A model-based approach for testing web applications
        Proc. of Twelfth International Conference on Software Engineering and Knowledge Engineering, Chicago, July 6-8, 2000.
        [Kung, DavidC, Liu, Chaoqun, Hsia, P.].
      • Conference Proceeding
        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.
        [Kung, DavidC, Liu, Chien-hung, Hsia, Pei].
      • Conference Proceeding
        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.
        [Liu, Chaoqun, Kung, DavidC, Hsia, P., Hsu, C.].
      • Conference Proceeding
        Structural testing of web applications
        Proceedings of 11th IEEE International Symposium on Software Reliability Engineering, San Jose, California, October 8-11, 2000.
        [Liu, Chien-hung, Kung, DavidC, Hsia, Pei].
      • Conference Proceeding
        Using mathematic induction for system verification
        Proceedings of the IASTED International Conference on Software Engineering and Applications, SEA00, pp. 73-79, 2000.
        [Kung, DavidC, Chang, Kuangnan, Hsia, Pei].
      • Conference Proceeding
        Using Mathematical Induction for System Verification
        Proc. of Conference on Software Engineering and Applications, Las Vegas, November 6-9, 2000.
        [Chang, K., Kung, DavidC, Hsia, Pei].

      1999
      • Conference Proceeding
        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.
        [Kung, DavidC, Hsia, Pei].
      • Conference Proceeding
        Brooks' Law Revisited: A System Dynamics Approach
        Proc. of 23rd IEEE Intl' Computer Software and Applications Conference (COMPSAC'99), Pheonix, Arizonal, Oct. 1999.
        [Hsia, Pei, Hsu, Chih-tung, Kung, DavidC].
      • Conference Proceeding
        CORBA Components Testing with Perception-based State Behavior
        Proc. of 23rd IEEE Intl' Computer Software and Applications Conference (COMPSAC'99), Pheonix, Arizonal, Oct. 1999.
        [Sohn, HwanWook, Kung, DavidC, Hsia, Pei].
      • Conference Proceeding
        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.
        [Chang, Kuangnan, Kung, DavidC, Hsia, Pei].
      • Conference Proceeding
        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.
        [Sohn, H., Kung, DavidC, Hsia, P.].

      1998
      • Conference Proceeding
        Object-Oriented Architecture Measures
        Proc. of 32nd Ann. Hawaii International Conference on Systems Sciences, Jan. 5-8, Maui, Hawaii, 1998.
        [Miller, K., Hsia, P., Kung, DavidC].
      • Conference Proceeding
        Object-Oriented Design Measures
        , the Proceedings of the 13th Annual All-Raytheon Software Symposium, Burlington, MA, December 2-3, 1998.
        [Miller, B.K., Hsia, P., Kung, DavidC].
      • Conference Proceeding
        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.
        [Kung, DavidC, Liu, Chien-hung, Hsia, Pei].
      • Conference Proceeding
        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.
        [Kung, DavidC, Hsia, Pei, Toyoshima, Yasufumi, Chen, Cris, Gao, Jerry].
      • Conference Proceeding
        Rapid Prototyping Through Simulation
        Proc. of 1998 Conference on Simulation Methods and Applications (CSMA98), Orlando, Florida, November 1-3, 1998.
        [Hsia, P., Kung, DavidC].

      1997
      • Conference Proceeding
        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.
        [Hsia, Pei, Kung, DavidC].
      • Conference Proceeding
        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.
        [Kung, DavidC, Lin, John, Hsia, Pei, Carroll, BillD].
      • Conference Proceeding
        Object-Oriented Software Development
        Dagstuhl-Seminar Report, 1997.
        [Ehrich, HD, Feng, Y, Kung, DavidC, Denker, G].

      1996
      • Conference Proceeding
        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.
        [Hsia, P., Li, Xiaojing, Kung, DavidC].
      • Conference Proceeding
        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.
        [Lin, J., Kung, DavidC, Hsia, P.].
      • Conference Proceeding
        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.
        [Hsia, P., Li, Xiaojing, Kung, DavidC].
      • Conference Proceeding
        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.
        [Kung, DavidC, Lu, Y., Venugopalan, N., Hsia, P., Toyoshima, Y., Chen, Christopher, Gao, JeanXuejing].
      • Conference Proceeding
        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.
        [Kung, DavidC, Oksanen, S.R., Lin, J.].
      • Conference Proceeding
        Object-oriented data flow testing
        Proc. of International Conference on Computers and Their Applications, San Francisco, California, pp. 187 - 190, March 7 - 9, 1996.
        [Chang, K., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Object-oriented data flow testing
        Proc. of International Conference on Testing Computer Software, Washington D.C., June 10-June 13, pp. 97 - 100, 1996.
        [Chang, K., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Reproducible Testing for Distributed Programs
        Proc. of 4th Int'l Conference on Telecommunication Systems, Modeling and Analysis, Nashville, Tennessee, March 21-24, 1996.
        [Sohn, H., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        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.
        [Sohn, H., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        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.
        [Lin, J., Kung, D.D., Hsia, P.].
      • Conference Proceeding
        User-centered system decomposition
        Proc. of International Conference on Requirements Engineering, 1996.
        [Hsia, P., Hsu, C., Kung, DavidC, Holder, L.].

      1995
      • Conference Proceeding
        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.
        [Hsia, P., Gupta, A., Kung, DavidC, Peng, J., Liu, S.].
      • Conference Proceeding
        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.
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        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.
        [Hsia, P., Samuel, Jayarajan, Kung, DavidC, Li, L., Hsu, C., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Incremental Delivery and its Reduction on Maintenance Cost - An Analytical Study
        Proc. of European Conference on Software Engineering, 1995.
        [Hsia, P., Hsu, C.T., Kung, DavidC, Yaung, A.].
      • Conference Proceeding
        Object state testing for object-oriented programs
        Proc. of COMPSAC'95 Conference, pp. 232-238, Dallas, Texas, August 9 - 11, 1995.
        [Gao, JeanXuejing, Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Tools for testing object-oriented programs
        Proc. of 12th International Conference on Testing Computer Software, Washington D.C., June 13-15, 1995.
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher].

      1994
      • Conference Proceeding
        An object oriented conceptual model for information systems
        Proc. of 13th IFIP World Congress, pp. 259 - 264, Hamburg, Germany, August 28 - September 2, 1994.
        [Kung, DavidC, Lin, J., Hsia, P.].
      • Conference Proceeding
        An object-oriented testing and maintenance environment
        CASCON'94, Toronto, Oct. 31-Nov. 3, 1994.
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P.].
      • Conference Proceeding
        Behavior-based acceptance testing of software systems: a formal scenario approach
        Proc. of COMPSAC'94 Conference, IEEE Computer Society Press, 1994.
        [Hsia, P., Gao, JeanXuejing, Samuel, Jayarajan, Kung, DavidC, Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Behavior-based integration testing of software systems: a formal scenario approach
        Proc. of 5th International Conference on Systems Integration, 1994.
        [Hsia, P., Gao, JeanXuejing, Samuel, Jayarajan, Kung, DavidC, Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Change impact identification in object oriented software maintenance
        Proc. of IEEE International Conference on Software Maintenance, pp. 202 - 211, 1994.
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Wen, F., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Guided Reuse for Programmers
        Proc. of the SEI Sponsored Conference on Software Engineering, San Antonio, Texas, January 5 - 7, 1994.
        [Hsia, P., Wang, H.S., Kung, DavidC].
      • Conference Proceeding
        Object-oriented conceptual modeling and analysis of information systems
        Proc. of International Conference on Computing and Information 94
        [Kung, DavidC, Lin, J., Hsia, P.].
      • Conference Proceeding
        On object state testing
        Proc. of COMPSAC'94 Conference, pp. 222 - 227, IEEE Computer Society Press, 1994.
        [Kung, DavidC, Suchak, N., Hsia, P., Toyoshima, Y., Chen, Christopher].
      • Conference Proceeding
        Toward an object-oriented modeling approach with representation of temporal knowledge
        Proc. of COMPSAC'94, pp. 58-63, IEE Computer Society Press, 1994.
        [Lin, J., Kung, DavidC, Hsia, Pei].

      1993
      • Conference Proceeding
        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.
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Lin, J., Toyoshima, Y.].
      • Conference Proceeding
        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.
        [Kung, DavidC, Suchak, N., Hsia, P., Lin, J., Toyoshima, Y.].

      1992
      • Conference Proceeding
        Generic Structures: a reuse-based approach to conceptual design of information systems
        Proceedings of the 2nd Workshop on Information Technology and Systems, December 1992.
        [Grosz, G., Kung, DavidC].

      1991
      • Conference Proceeding
        Rapid prototyping of conceptual database design on a relational database management system
        Proc. 10th Intl' Conference on Entity-Relationship Approach, San Mateo, pp. 93 - 109, Oct. 23 - 25, 1991.
        [Chao, C.M., Kung, DavidC].

      1986
      • Conference Proceeding
        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.
        [Kung, DavidC, Solvberg, A.].
      • Conference Proceeding
        High parallelism and an efficient reasoning procedure
        Presented at the First International Conference on Artificial Intelligence and its Applications, Singapore, 1986. Invited talk.
        [Kung, DavidC].

      1985
      • Conference Proceeding
        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.
        [Kung, DavidC].
      • Conference Proceeding
        On structural and behavioral modeling of reality
        in Database Semantics, R. Meersman, et al (ed.s), Elsevier Science Publishing Comp., pp. 2058, 1985.
        [Solvberg, A., Kung, DavidC].
      • Conference Proceeding
        On verification of database temporal constraints
        Proc. ACM SIGMOD Annual Conference on Management of Data, pp. 169 - 179, 1985.
        [Kung, DavidC].

      1984
      • Conference Proceeding
        A temporal framework for database specification and verification
        Proc. 10th Intl' Conference on VLDB, pp. 91 - 99, 1984.
        [Kung, DavidC].
      • Conference Proceeding
        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.
        [A., Solvberg, Kung, DavidC].

      1983
      • Conference Proceeding
        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.
        [Kung, DavidC].

      2014
      • Other
        Exam and Quiz Generator EQG 1.0
        [Kung, DavidC].

      1991
      • Other
        Formal Definition and Verification of Data Flow Diagrams.
        [Tao, Y., Kung., D.].

      1984
      • Other
        A Temporal Framework for Information Systems Specification and Verification
        [Kung, DavidC]. "Ph.D Thesis, Dept. of Computer Science, The Norwegian Inst. of Tology, Trondheim, NORWAY, April 1984.".

Students Supervised

    • Aug 2018
      Dissertation Committee Chair
      Rodrio Salvado,
      Internet of Things

Courses

      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458 | Exclude Feedback: true)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Spring - Regular Academic Session - 2021
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 5322-901 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458 | Mav Course: No)
        Spring - Regular Academic Session - 2020 Download Syllabus
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526 | Mav Course: No | Exclude Eval: true)
        Spring - Regular Academic Session - 2020
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487 | Xlist Coursepre: CSE | Xlist Coursenum: 5322 | Mav Course: No)
        Spring - Regular Academic Session - 2020 Download Syllabus
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520 | Xlist Coursepre: CSE | Xlist Coursenum: 4361 | Mav Course: No)
        Spring - Regular Academic Session - 2020 Download Syllabus
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487 | Mav Course: No)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520 | Mav Course: No)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 5322-201 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520 | Mav Course: No)
        Fall - Regular Academic Session - 2019 Download Syllabus
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2019
      • CSE 7399-022 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Spring - Regular Academic Session - 2019
      • CSE 5698-022 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2019
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2019
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2019
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2018 Download Syllabus
      • CSE 5698-022 MASTER'S THESIS II
        (Course Id: 102571)
        Fall - Regular Academic Session - 2018 Download Syllabus
      • CSE 6397-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2018
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2018
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2018 Download Syllabus
      • CSE 5322-020 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2018
      • CSE 5393-022 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562 | Xlist Coursepre: none | Xlist Coursenum: none | Servlearn Desc: na)
        Summer - Eleven Week - 2018 Download Syllabus
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2018 Download Syllabus
      • CSE 5329-020 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2018 Download Syllabus
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2018
      • CSE 5698-022 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2018
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2018 Download Syllabus
      • CSE 6397-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2018
      • CSE 6697-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2018
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2018 Download Syllabus
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2017
      • CSE 4391-002 INDIVIDUAL PROJECTS
        (Course Id: 102488)
        Fall - Regular Academic Session - 2017
      • CSE 5698-022 MASTER'S THESIS II
        (Course Id: 102571)
        Fall - Regular Academic Session - 2017
      • CSE 6397-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2017
      • CSE 6697-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2017
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2017 Download Syllabus
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2017 Download Syllabus
      • CSE 6699-022 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2017
      • CSE 5329-020 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2017
      • CSE 5393-022 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2017
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2017
      • CSE 7399-022 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Spring - Regular Academic Session - 2017
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2017
      • CSE 6397-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2017
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2017
      • CSE 5393-022 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Fall - Regular Academic Session - 2016
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2016
      • CSE 6699-022 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2016
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2016
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2016
      • CSE 5322-002 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2016
      • CSE 5393-022 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Summer - Eleven Week - 2016
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2016
      • CSE 5393-022 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2016
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2016
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2016
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Spring - Regular Academic Session - 2016
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Spring - Regular Academic Session - 2016
      • CSE 6699-022 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2015
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Fall - Regular Academic Session - 2015
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2015
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2015
      • CSE 6399-022 DISSERTATION
        (Course Id: 102610)
        Summer - Eleven Week - 2015
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2015
      • CSE 6699-022 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2015
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2015
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2015
      • CSE 5329-033 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Spring - Regular Academic Session - 2015
      • CSE 6397-022 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2014
      • CSE 5328-033 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Fall - Regular Academic Session - 2014
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Fall - Regular Academic Session - 2014
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2014
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2014
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Summer - Eleven Week - 2014
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2014
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2014
      • CSE 5322-033 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Spring - Regular Academic Session - 2014
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Fall - Regular Academic Session - 2013
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2013
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2013
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2013
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2013
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2013
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Spring - Regular Academic Session - 2013
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Fall - Regular Academic Session - 2012
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Fall - Regular Academic Session - 2012
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2012
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2012
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2012
      • CSE 3311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2012
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2012
      • CSE 5329-001 SFWR ENGR TEAM PROJECT II
        (Course Id: 102527)
        Fall - Regular Academic Session - 2011
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2011
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2011
      • CSE 5321-001 SOFTWARE TESTING
        (Course Id: 102519)
        Fall - Regular Academic Session - 2011
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2011
      • CSE 4311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2011
      • CSE 5328-001 SFWR ENGR TEAM PROJECT I
        (Course Id: 102526)
        Spring - Regular Academic Session - 2011
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2010
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2010
      • CSE 5321-001 SOFTWARE TESTING
        (Course Id: 102519)
        Fall - Regular Academic Session - 2010
      • CSE 4311-001 OBJECT-ORIENTED SOFTWARE ENGRG
        (Course Id: 102458)
        Spring - Regular Academic Session - 2010
      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2009
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2009
      • CSE 5321-002 SOFTWARE TESTING
        (Course Id: 102519)
        Fall - Regular Academic Session - 2009

Service to the University

    • Jan 2009 to  Present Committee Member
      College of Engineering Undergraduate Curriculum Committee
    • Jan 2000 to  Present Committee Member
      Graduate Studies Committee
    • Jan 2000 to  Present Director
      Software Engineering Research Center
    • Jan 2000 to  Present Director
      Software Engineering Research Center
    • Jan 2000 to  Present Committee Member
      Undergraduate Studies Committee
    • Jan 2000 to  Present Committee Member
      UTA Hearing Committee
    • Jan 1999 to  Present Member
      Undergraduate Assembly
    • Jan 1991 to  Present Committee Member
      CSE Graduate Study Committee
    • Jan Unknown to  Present Committee Member
      COE Curriculum Committee
    • Jan 2014 to  Aug 2021 Committee Member
      Senior Lecturer Recruiting Committee
    • Jan 2010 to  Aug 2017 Committee Member
      CSE Industrial Advisory Committee
    • Jan 2015 to  Jan 2017 Committee Member
      Graduate Curriculum Committee
    • Jan 2014 to  Jan 2017 Committee Member
      Industry and Alumni Relationship Committee
    • Jan 2000 to  Aug 2016 Director
      Undergraduate Software Engineering Program
    • Jan 2013 to  Jan 2016 Program Coordinator
      Software Engineering Cohort Program
      communications master
    • Jan 2000 to  Jan 2016 Director
      Software Engineering Undergraduate Program
    • Jan 2012 to  Jan 2013 Committee Member
      Faculty Recruiting Committee
    • Jan 2012 to  Jan 2013 Member
      UTA Hearing Panel
    • Jan 2002 to  Jan 2011 Chairperson
      Department Faculty Recruiting Committee
      automated the recruiting process
    • Jan 2009 to  Jan 2010 Committee Chair
      Enrollment, New Programs and Distance Education Committee

Service to the Profession

    • Sept 2017 to  Aug 2018
      Reviewer, Journal Article
      IEEE Computer
    • Sept 2017 to  Aug 2018
      Reviewer, Journal Article
      Journal of Software Practice and Experience
    • Sept 2017 to  Aug 2018
      Reviewer, Journal Article
      Journal of Systems and Software
    • Apr 2016 to  Apr 2016
      Panelist (Dallas, Texas, U.S.)
      29th IEEE Conference on Software Engineering Education and Training
      Teaching Software Engineering in a Computer Science Curriculum
    • Nov 2013 to  Nov 2013
      (Silicon Valley , California, U.S.)
      28th ACM/IEEE International Conference on Automated Software Engineering
      Teaching Agile Methods and Patterns
    • Nov 2013 to  Nov 2013
      (Pasadena, California, U.S.)
      24th IEEE International Symposium on Software Reliability Engineering
      Agile Methods, Patterns, and Software Quality
    • July 2010 to  July 2010
      Committee Member (Redwood City, California, U.S.)
      22nd International Conference on Software Engineering and Knowledge
      Software Test Automation, Practice, and Standardization Workshop
    • Jan 2010 to  Jan 2010
      Attendee, Meeting (Arlington , Texas, U.S.)
      IEEE MetroCon 2010
      An Agile Unified Methodology for Beginners

Service to the Community

Service to the Community

    • Aug 2014 to  Present
      Designer
      Online Academic Advising Scheduler
      design and implementation a multi-semester class project
    • June 2012 to  Present
      Trainer
      New York Air Brake Train Dynamic Systems
      training on software process and design patterns
    • Aug 2011 to  June 2013
      Superviser
      Texas Scottish Rite Hospital for Children
      Supervised students on design and implementation of a web-based Office Patient Medical Record management system
    • Aug 2009 to  Feb 2010
      Designer
      VFN
      design and implementation of a computer aided inventory optimization software
    • Jan 2005 to  Jan 2010
      Committee Member
      Lockheed Martin MetroCon
      speaker and program committee member annual conference
    • Jan 2007 to  Jan 2008
      Trainer
      Siemens
      training on Object-oriented Software Design Methodology and Patterns
    • Jan 2006 to  Jan 2008
      Designer
      Office of International Education of UTA
      Design and implementation of Study Abroad Management System
    • Jan 2005 to  Jan 2008
      Member
      Mental Health Mental Retardation of Tarrant County
      Member of IT Board (a non-profit that takes care of homeless people in the Tarrant County)