Skip to content. Skip to main navigation.

avatar

David C Kung

  • Professor, Computer Science and Engineering
 ranger.uta.edu/~kung/kung.html

Education

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

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 IowaIA,
    • Jan 1986 to Dec 1986 Assistant Professor
      Norwegian Institute of TechnologyNorway)
    • Jan 1984 to Jan 1985 Postdoctoral Fellowship
      NTNFNorway)
    • Jan 1980 to Jan 1984 Ph.D. Candidate and TA
      Norwegian Institute of Technology
    • Jan 1978 to Jan 1980 Ph.D. Candidate
      Academia Sinica

Publications

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

      Conference Proceeding Published
      • StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification
        [Junaid, Mohsin, Ming, Jiang, Kung, DavidC].

      Conference Proceeding 2017
      • Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
        [Xu, Jing, Lei, Yu, Caver, Richard, Kung, DavidC].

      Conference Proceeding 2016
      • An object-oriented analysis and design environment
        [Kung, DavidC, Lei, Jeff].
      2016
      • Minimizing Stress Tests for Concurrent Data Structures
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC].
      2016
      • An agile methodology for reengineering object-oriented software
        [Sahoo, Anam, Kung, DavidC, Gupta, Sanika].

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

      Conference Proceeding 2015
      • A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
        [Xu, Jing, Lei, Yu, Carver, R., Kung, DavidC].

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

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

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

      Conference Proceeding 2013
      • Fault Localization Based on Failure-Inducing Combinations
        [Ghandehari, LalehShikh Gholamhossein, Lei, Yu, Kung, DavidC, Kacker, Raghu, Kuhn, Richard].
      2013
      • On use case identification
        [Kung, DavidC].

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

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

      Conference Proceeding 2011
      • A combinatorial approach to detecting buffer overflow vulnerabilities
        [Wang, Wenhua, Lei, Yu, Liu, Donggang, Kung, DavidC, D., Csallner, Christoph, C., Zhang, Dazhi, Kacker, R., Kuhn, R.].
      2011
      • Testing configurable component-based software - configuration test modeling and complexity analysis
        [Gao, Jerry, Guan, Jing, Ma, Alex, Tao, Chuanqi, Bai, Xiaoying, Kung, DavidC].

      Conference Proceeding 2010
      • Detecting vulnerabilities in C programs using trace-based testing
        [Zhang, D., Liu, D., Lei, J., Kung, DavidC, Csallner, Christoph, Wang, W.].

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

      Conference Proceeding 2008
      • Reusing existing test cases for security testing
        [Zhang, Dazhi, Wang, Wenhua, Liu, Donggang, Lei, Yu, Kung, DavidC].

      Conference Proceeding 2007
      • Conceptual modeling and software design of multi-agent systems
        [Kung, DavidC, Kavi, Krishna].

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

      Conference Proceeding 2006
      • A state exploration-based approach to testing Java monitors
        [Lei, Yu, Carver, R., Kung, DavidC, Gupta, V., Hernandez, MaryChristina].
      2006
      • Inductive Model Checking
        [Chang, Kuangnan, Kung, DavidC].
      2006
      • MonitorExplorer: A State Exploration-Based Approach to Testing Java Monitors
        [Deng, Weijia, Lei, Yu, Carver, Richard, Kung, DavidC].

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

      Conference Proceeding 2005
      • A blocking based approach to protocol validation
        [Lei, Yu, Kung, DavidC, Ye, Qizhi].
      2005
      • An agent-based testing approach for web applications
        [Qi, Yu, Kung, DavidC, Wong, E.].

      Conference Proceeding 2004
      • An agent-based framework for testing Web applicaitons
        [Kung, DavidC].
      2004
      • Software Engineering for Large-Scale Multi-agent Systems
        [Choren, Ricardo, Garcia, AlessandroF., Jos Pereira de Lucena, Carlos, Griss, MartinL., Kung, DavidC, Minsky, NaftalyH., Romanovsky, AlexanderB.].

      Book Chapter 2003
      • An expert system for suggesting design patterns: a methodology and a prototype
        [Kung, DavidC, Bhambhani, Hitesh, Shah, Riken, Pancholi, Gaurav]. "Kluwer International Series in Engineering and Computer Science, March 2003.".

      Conference Proceeding 2003
      • Extending UML to Modeling and Design of Multi-Agent Systems
        [Kavi, Krishna, Kung, DavidC, Bhambhani, Hitesh, Pancholi, Gaurav, Kanikarla, Marie, Shah, Riken].
      2003
      • Lessons learned from software engineering multiagent systems
        [Kung, DavidC, Bhambhani, Hitesh, Nwokoro, Sheila, Okasha, Wesam, Kambalakatta, Ravindra, Sankuratri, Praveen].

      Conference Proceeding 2002
      • A framework for designing, modeling and analyzing agent based software systems
        [Kavi, Krishna, Aborizka, Mohamed, Kung, DavidC].
      2002
      • An efficient way for specifying state-based systems in Promela
        [Chang, Kuangnan, Kung, DavidC].

      Conference Proceeding 2001
      • Inductive Model Checking
        [Kung, DavidC, Chang, Kuangnan, Hsia, Pei].
      2001
      • Inductive Model Checking
        [Kung, DavidC, Chang, Kuang-Nan, Hsia, Pei].

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

      Conference Proceeding 2000
      • A model-based approach for testing web applications
        [Kung, DavidC, Liu, Chaoqun, Hsia, P.].
      2000
      • An object-oriented web test model for testing web applications
        [Kung, DavidC, Liu, Chien-hung, Hsia, Pei].
      2000
      • Object-based data flow testing for web applications
        [Liu, Chaoqun, Kung, DavidC, Hsia, P., Hsu, C.].
      2000
      • Structural testing of web applications
        [Liu, Chien-hung, Kung, DavidC, Hsia, Pei].
      2000
      • Using mathematic induction for system verification
        [Kung, DavidC, Chang, Kuangnan, Hsia, Pei].
      2000
      • Using Mathematical Induction for System Verification
        [Chang, K., Kung, DavidC, Hsia, Pei].

      Conference Proceeding 1999
      • A Reverse Engineering Approach for Software Testing of Object-Oriented Programs
        [Kung, DavidC, Hsia, Pei].
      1999
      • Brooks' Law Revisited: A System Dynamics Approach
        [Hsia, Pei, Hsu, Chih-tung, Kung, DavidC].
      1999
      • CORBA Components Testing with Perception-based State Behavior
        [Sohn, HwanWook, Kung, DavidC, Hsia, Pei].
      1999
      • OBL: A Formal Deduction Method for Object-Oriented Systems
        [Chang, Kuangnan, Kung, DavidC, Hsia, Pei].
      1999
      • State-based reproducible testing for CORBA applications
        [Sohn, H., Kung, DavidC, Hsia, P.].

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

      Conference Proceeding 1998
      • Object-Oriented Architecture Measures
        [Miller, K., Hsia, P., Kung, DavidC].
      1998
      • Object-Oriented Design Measures
        [Miller, B.K., Hsia, P., Kung, DavidC].
      1998
      • Object-Oriented Real Time Systems Specification and Model Checking
        [Kung, DavidC, Liu, Chien-hung, Hsia, Pei].
      1998
      • Object-Oriented Software Testing -- Some Research and Development
        [Kung, DavidC, Hsia, Pei, Toyoshima, Yasufumi, Chen, Cris, Gao, Jerry].
      1998
      • Rapid Prototyping Through Simulation
        [Hsia, P., Kung, DavidC].

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

      Conference Proceeding 1997
      • An object-oriented testing and maintenance environment
        [Hsia, Pei, Kung, DavidC].
      1997
      • Object-Oriented Real Time Systems Modeling and Verification
        [Kung, DavidC, Lin, John, Hsia, Pei, Carroll, BillD].
      1997
      • Object-Oriented Software Development
        [Ehrich, HD, Feng, Y, Kung, DavidC, Denker, G].

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

      Conference Proceeding 1996
      • A history-based approach for early faulty state detection
        [Hsia, P., Li, Xiaojing, Kung, DavidC].
      1996
      • A Scenario-Driven Method for Requirements Specification and Analysis of Real-Time Systems
        [Lin, J., Kung, DavidC, Hsia, P.].
      1996
      • An early warning approach for method sequence testing
        [Hsia, P., Li, Xiaojing, Kung, DavidC].
      1996
      • Object state testing and fault analysis for reliable software systems
        [Kung, DavidC, Lu, Y., Venugopalan, N., Hsia, P., Toyoshima, Y., Chen, Christopher, Gao, JeanXuejing].
      1996
      • Object-oriented Conceptual Modeling and Verification of Real Time Systems
        [Kung, DavidC, Oksanen, S.R., Lin, J.].
      1996
      • Object-oriented data flow testing
        [Chang, K., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1996
      • Object-oriented data flow testing
        [Chang, K., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1996
      • Reproducible Testing for Distributed Programs
        [Sohn, H., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1996
      • Reproducible Testing of Concurrent and Distributed Programs
        [Sohn, H., Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1996
      • Top-Down Development of Real-Time Software Specification
        [Lin, J., Kung, D.D., Hsia, P.].
      1996
      • User-centered system decomposition
        [Hsia, P., Hsu, C., Kung, DavidC, Holder, L.].

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

      Conference Proceeding 1995
      • A study on the effect of architecture on maintainability of object-oriented systems
        [Hsia, P., Gupta, A., Kung, DavidC, Peng, J., Liu, S.].
      1995
      • A test strategy for object-oriented systems
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1995
      • A usage-model based approach to testing therac-25
        [Hsia, P., Samuel, Jayarajan, Kung, DavidC, Li, L., Hsu, C., Toyoshima, Y., Chen, Christopher].
      1995
      • Incremental Delivery and its Reduction on Maintenance Cost - An Analytical Study
        [Hsia, P., Hsu, C.T., Kung, DavidC, Yaung, A.].
      1995
      • Object state testing for object-oriented programs
        [Gao, JeanXuejing, Kung, DavidC, Hsia, P., Toyoshima, Y., Chen, Christopher].
      1995
      • Tools for testing object-oriented programs
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Toyoshima, Y., Chen, Christopher].

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

      Conference Proceeding 1994
      • An object oriented conceptual model for information systems
        [Kung, DavidC, Lin, J., Hsia, P.].
      1994
      • An object-oriented testing and maintenance environment
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P.].
      1994
      • Behavior-based acceptance testing of software systems: a formal scenario approach
        [Hsia, P., Gao, JeanXuejing, Samuel, Jayarajan, Kung, DavidC, Toyoshima, Y., Chen, Christopher].
      1994
      • Behavior-based integration testing of software systems: a formal scenario approach
        [Hsia, P., Gao, JeanXuejing, Samuel, Jayarajan, Kung, DavidC, Toyoshima, Y., Chen, Christopher].
      1994
      • Change impact identification in object oriented software maintenance
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Wen, F., Toyoshima, Y., Chen, Christopher].
      1994
      • Guided Reuse for Programmers
        [Hsia, P., Wang, H.S., Kung, DavidC].
      1994
      • Object-oriented conceptual modeling and analysis of information systems
        [Kung, DavidC, Lin, J., Hsia, P.].
      1994
      • On object state testing
        [Kung, DavidC, Suchak, N., Hsia, P., Toyoshima, Y., Chen, Christopher].
      1994
      • Toward an object-oriented modeling approach with representation of temporal knowledge
        [Lin, J., Kung, DavidC, Hsia, Pei].

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

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

      Conference Proceeding 1993
      • Design Recovery for Software Testing of Object-Oriented Programs
        [Kung, DavidC, Gao, JeanXuejing, Hsia, P., Lin, J., Toyoshima, Y.].
      1993
      • Detecting and Locating Memory Leak in Object-Oriented Programs
        [Kung, DavidC, Suchak, N., Hsia, P., Lin, J., Toyoshima, Y.].

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

      Conference Proceeding 1992
      • Generic Structures: a reuse-based approach to conceptual design of information systems
        [Grosz, G., Kung, DavidC].

      Conference Proceeding 1991
      • Rapid prototyping of conceptual database design on a relational database management system
        [Chao, C.M., Kung, DavidC].

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

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

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

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

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

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

      Conference Proceeding 1986
      • Activity modeling and behavior modeling of information systems
        [Kung, DavidC, Solvberg, A.].
      1986
      • High parallelism and an efficient reasoning procedure
        [Kung, DavidC].

      Conference Proceeding 1985
      • A tableaux approach for consistency checking
        [Kung, DavidC].
      1985
      • On structural and behavioral modeling of reality
        [Solvberg, A., Kung, DavidC].
      1985
      • On verification of database temporal constraints
        [Kung, DavidC].

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

      Conference Proceeding 1984
      • A temporal framework for database specification and verification
        [Kung, DavidC].
      1984
      • Integrating database design tools
        [A., Solvberg, Kung, DavidC].

      Other 1984
      • 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.".

      Conference Proceeding 1983
      • An analysis of three conceptual models with time perspective
        [Kung, DavidC].

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 Aug 2020 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  - $207312.5703125
      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)

Students Supervised

    • Aug 2018
      Rodrio Salvado,
      Internet of Things

Courses

      • CSE 4361-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102487)
        Fall - Regular Academic Session - 2019
      • CSE 5322-001 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2019
      • CSE 5322-201 SOFTWARE DESIGN PATTERNS
        (Course Id: 102520)
        Fall - Regular Academic Session - 2019
      • 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 | Servlearn: No)
        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
      • 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: No | 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 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 Director
      Undergraduate Software Engineering Program
    • 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 Unknown to  Present 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 2013 to  Jan 2016 Program Coordinator
      Software Engineering Cohort Program
      communications master
    • Jan 2009 to  Jan 2016 Committee Member
      College of Engineering Undergraduate Curriculum Committee
    • Jan 2000 to  Jan 2016 Director
      Software Engineering Undergraduate Program
    • Jan 2014 to  Jan 2015 Committee Member
      Senior Lecturer Recruiting Committee
    • 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

    • 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)