Search the dblp DataBase
David Chenho Kung :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Chenho Kung A Temporal Framework for Database Specification and Verification. [Citation Graph (8, 19)][DBLP ] VLDB, 1984, pp:91-99 [Conf ] David Chenho Kung On Verification of Database Temporal Constraints. [Citation Graph (7, 24)][DBLP ] SIGMOD Conference, 1985, pp:169-179 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Pei Hsia , Xiaolin Li , David Chenho Kung Class testing and code-based criteria. [Citation Graph (0, 0)][DBLP ] CASCON, 1996, pp:14- [Conf ] Pei Hsia , Xiaolin Li , David Chenho Kung Augmenting data flow criteria for class testing. [Citation Graph (0, 0)][DBLP ] CASCON, 1997, pp:9- [Conf ] 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 ] David Chenho Kung , Jerry Gao , Pei Hsia An object oriented testing and maintenance environment. [Citation Graph (0, 0)][DBLP ] CASCON, 1994, pp:37- [Conf ] 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 ] 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 ] 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 ] 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 ] David Chenho Kung Agent-Based Framework for Testing Web Applications. [Citation Graph (0, 0)][DBLP ] COMPSAC Workshops, 2004, pp:174-177 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Kuangnan Chang , David Chenho Kung Model Checking with Induction. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2006, pp:143-149 [Conf ] Pei Hsia , Richard H. S. Wang , David Chenho Kung Guided Reuse for Programmers. [Citation Graph (0, 0)][DBLP ] CSEE, 1994, pp:499-516 [Conf ] 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 ] 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 ] 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 ] 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 ] Brian Keith Miller , Pei Hsia , David Chenho Kung Object-Oriented Architecture Measures. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] 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 ] 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 ] Pei Hsia , David Chenho Kung An Object-Oriented Testing and Maintenance Environment. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:608-609 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Reusing Existing Test Cases for Security Testing. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.452secs