The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Chenho Kung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Chenho Kung
    A Temporal Framework for Database Specification and Verification. [Citation Graph (8, 19)][DBLP]
    VLDB, 1984, pp:91-99 [Conf]
  2. David Chenho Kung
    On Verification of Database Temporal Constraints. [Citation Graph (7, 24)][DBLP]
    SIGMOD Conference, 1985, pp:169-179 [Conf]
  3. Arne Sølvberg, David Chenho Kung
    On Structural and Behavioral Modeling of Reality. [Citation Graph (6, 0)][DBLP]
    DS-1, 1985, pp:205-221 [Conf]
  4. David Chenho Kung
    Object Subclass Hierarchy in SQL: A Simple Approach. [Citation Graph (2, 0)][DBLP]
    Commun. ACM, 1990, v:33, n:7, pp:117-127 [Journal]
  5. David Chenho Kung
    The Behavior Network Model for conceptual information modeling. [Citation Graph (2, 0)][DBLP]
    Inf. Syst., 1993, v:18, n:1, pp:1-21 [Journal]
  6. David Chenho Kung
    Conceptual Modeling in the Context of Software Development. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:10, pp:1176-1187 [Journal]
  7. David Chenho Kung, Chien-Hung Liu, Pei Hsia
    An Object-Oriented Web Test Model for Testing Web Applications . [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:111-120 [Conf]
  8. Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
    Object-Based Data Flow Testing of Web Applications. [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:7-16 [Conf]
  9. Jerry Zeyu Gao, David Chenho Kung, Pei Hsia
    An object state test model: object state diagram. [Citation Graph (0, 0)][DBLP]
    CASCON, 1995, pp:23- [Conf]
  10. Pei Hsia, Xiaolin Li, David Chenho Kung
    Class testing and code-based criteria. [Citation Graph (0, 0)][DBLP]
    CASCON, 1996, pp:14- [Conf]
  11. Pei Hsia, Xiaolin Li, David Chenho Kung
    Augmenting data flow criteria for class testing. [Citation Graph (0, 0)][DBLP]
    CASCON, 1997, pp:9- [Conf]
  12. Jyhjong Lin, David Chenho Kung, Pei Hsia
    Towards a real-time object-oriented modeling approach. [Citation Graph (0, 0)][DBLP]
    CASCON, 1995, pp:42- [Conf]
  13. David Chenho Kung, Jerry Gao, Pei Hsia
    An object oriented testing and maintenance environment. [Citation Graph (0, 0)][DBLP]
    CASCON, 1994, pp:37- [Conf]
  14. Kuangnan Chang, David Chenho Kung, Pei Hsia
    OBL: A Formal Deduction Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:450-455 [Conf]
  15. Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen
    Object state testing for object-oriented programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:232-238 [Conf]
  16. Pei Hsia, Chih-Tung Hsu, David Chenho Kung
    Brooks' Law Revisited: A System Dynamics Approach. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:370-375 [Conf]
  17. Pei Hsia, Xiaolin Li, David Chenho Kung
    A History-Based Approach for Early Faulty State Detection. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:321-0 [Conf]
  18. David Chenho Kung
    Agent-Based Framework for Testing Web Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC Workshops, 2004, pp:174-177 [Conf]
  19. David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri
    Lessons Learned from Software Engineering Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2003, pp:50-55 [Conf]
  20. David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen
    A Test Strategy for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:239-244 [Conf]
  21. David Chenho Kung, Chien-Hung Liu, Pei Hsia
    An Object-Oriented Web Test Model for Testing Web Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:537-542 [Conf]
  22. David Chenho Kung, Scott R. Oksanen, Jyhjong Lin
    An Object-Oriented Real Time Systems Modeling and Verification Methodology. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:490-495 [Conf]
  23. Yu Lei, David Chenho Kung, Qizhi Ye
    A Blocking-Based Approach to Protocol Validation. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:301-306 [Conf]
  24. Yu Qi, David Chenho Kung, W. Eric Wong
    An Agent-Based Testing Approach for Web Applications. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:45-50 [Conf]
  25. Hwan Wook Sohn, David Chenho Kung, Pei Hsia
    CORBA Components Testing with Perception-Based State Behavior. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:116-121 [Conf]
  26. Kuangnan Chang, David Chenho Kung
    Model Checking with Induction. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:143-149 [Conf]
  27. Pei Hsia, Richard H. S. Wang, David Chenho Kung
    Guided Reuse for Programmers. [Citation Graph (0, 0)][DBLP]
    CSEE, 1994, pp:499-516 [Conf]
  28. Ching-Ming Chao, David Chenho Kung
    Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. [Citation Graph (0, 4)][DBLP]
    ER, 1991, pp:93-109 [Conf]
  29. Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung
    The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:405-422 [Conf]
  30. David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao
    Object-Oriented Software Testing: Some Research and Development. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:158-165 [Conf]
  31. Jyhjong Lin, David Chenho Kung, Pei Hsia
    Top-down development of real-time software specification. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:271-0 [Conf]
  32. Brian Keith Miller, Pei Hsia, David Chenho Kung
    Object-Oriented Architecture Measures. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  33. Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Lawrence B. Holder
    User-Centered System Decomposition: Z-Based Requirements Clustering. [Citation Graph (0, 0)][DBLP]
    ICRE, 1996, pp:126-135 [Conf]
  34. Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky
    Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:752-753 [Conf]
  35. Pei Hsia, David Chenho Kung
    An Object-Oriented Testing and Maintenance Environment. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:608-609 [Conf]
  36. Pei Hsia, A. Gupta, David Chenho Kung, J. Peng, S. Liu
    A study on the effect of architecture on maintainability of object-oriented systems. [Citation Graph (0, 0)][DBLP]
    ICSM, 1995, pp:4-11 [Conf]
  37. David Chenho Kung, Jerry Gao, Pei Hsia, F. Wen, Yasufumi Toyoshima, Cris Chen
    Change Impact Identification in Object Oriented Software Maintenance. [Citation Graph (0, 0)][DBLP]
    ICSM, 1994, pp:202-211 [Conf]
  38. David Chenho Kung, Jyhjong Lin, Pei Hsia
    An Object-Oriented Conceptal Model for Information Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:259-264 [Conf]
  39. Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
    Structural Testing of Web Applications. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:84-96 [Conf]
  40. Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez
    A State Exploration-Based Approach to Testing Java Monitors. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2006, pp:256-265 [Conf]
  41. Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Michelle M. Hepner, J. W. Wang
    An Object-Oriented Approach to Incremental Delivery of Software Systems. [Citation Graph (0, 0)][DBLP]
    OOIS, 1996, pp:431-0 [Conf]
  42. Hwan Wook Sohn, David Chenho Kung, Pei Hsia
    State-Based Reproducible Testing for CORBA Applications. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:24-0 [Conf]
  43. Pei Hsia, Xiaolin Li, David Chenho Kung
    An Early Warning Approach for Method Sequence Testing. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:330-337 [Conf]
  44. David Chenho Kung, Jerry Gao, Pei Hsia, J. Lin, Yasufumi Toyoshima
    Design Recovery for Software Testing of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    WCRE, 1993, pp:202-211 [Conf]
  45. Pei Hsia, David Chenho Kung, Chris Sell
    Software Requirements and acceptance Testing. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1997, v:3, n:, pp:291-317 [Journal]
  46. Jyhjong Lin, David Chenho Kung, Pei Hsia
    Object-Oriented Specification and Formal Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1996, v:2, n:, pp:161-198 [Journal]
  47. David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song
    Developing an Object-Oriented Software Testing and Maintenance Environment. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1995, v:38, n:10, pp:75-87 [Journal]
  48. Qizhi Ye, Yu Lei, David Chenho Kung
    A Blocking-based Approach to Protocol Validation. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:5, pp:541-553 [Journal]
  49. Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
    An Object-based Data Flow Testing Approach for Web Applications. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:2, pp:157-179 [Journal]
  50. Jyhjong Lin, David Chenho Kung, Pei Hsia
    An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1995, v:19, n:1, pp:- [Journal]
  51. Yu Qi, David Chenho Kung, Eric Wong
    An agent-based data-flow testing approach for Web applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:12, pp:1159-1171 [Journal]
  52. Hong Zhu, David Chenho Kung
    Assuring quality of web-based applications. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:12, pp:1135-1136 [Journal]
  53. David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima
    Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:2, pp:51-65 [Journal]
  54. David Chenho Kung
    An executable visual formalism for object-oriented conceptual modeling. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:31, n:1, pp:33-43 [Journal]
  55. David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
    Or Regression Testing of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:32, n:1, pp:21-40 [Journal]
  56. Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Eric J. Byrne
    Incremental delivery reduces maintenance cost: a COCOMO-based study. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 1998, v:10, n:4, pp:225-247 [Journal]
  57. Pei Hsia, Jayarajan Samuel, Jerry Gao, David Chenho Kung, Yasufumi Toyoshima, Cris Chen
    Formal Approach to Scenario Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:2, pp:33-41 [Journal]

  58. Reusing Existing Test Cases for Security Testing. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.452secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002