dblp.uni-trier.dewww.uni-trier.de

David Chenho Kung Vis

Chenho Kung

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Hitesh Bhambhani [51]
2Eric J. Byrne [39]
3Richard H. Carver [60] [62]
4Jaelson Brelaz de Castro (Jaelson Castro) [52]
5Kuangnan Chang [43] [61]
6Ching-Ming Chao [9]
7Chris Chen [20] [27]
8Cris Chen [12] [14] [23] [24] [40]
9Ricardo Choren [52] [53]
10Jerry Zeyu Gao (Jerry Z. Gao, Jerry Gao) [11] [12] [14] [16] [18] [20] [23] [24] [26] [27] [40]
11Alessandro F. Garcia (Alessandro Garcia) [52] [53]
12Martin L. Griss [52] [53]
13A. Gupta [21]
14Vidur Gupta [60]
15Michelle M. Hepner [30]
16Monica Hernandez [60]
17Lawrence B. Holder [31]
18Pei Hsia [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50]
19Chih-Tung Hsu [22] [30] [31] [39] [44] [46] [48] [50]
20Raghu Kacker [62]
21Ravindra Kambalakatta [51]
22Young-Si Kim [20]
23Yu Lei [56] [59] [60] [62]
24Rogério de Lemos [52]
25Xiaolin Li [29] [34] [35] [38]
26J. Lin [11]
27Jeremy Lin [18]
28Jyhjong Lin [13] [19] [25] [28] [32] [33]
29Chien-Hung Liu [46] [47] [48] [49] [50]
30S. Liu [21]
31Carlos José Pereira de Lucena [52] [53]
32Brian Keith Miller [42]
33Naftaly H. Minsky [52] [53]
34Sheila Nwokoro [51]
35Wesam Okasha [51]
36Scott R. Oksanen [33]
37J. Peng [21]
38Yu Qi [55] [57]
39Alexander Romanovsky (Alexander B. Romanovsky) [52] [53]
40Jayarajan Samuel [12]
41Praveen Sankuratri [51]
42Chris Sell [36]
43Hwan Wook Sohn [41] [45]
44Arne Sølvberg [3]
45Young-Kee Song [20]
46Yonglei Tao [6]
47Yasufumi Toyoshima [11] [12] [14] [18] [20] [23] [24] [27] [40]
48J. W. Wang [30]
49Richard H. S. Wang [15]
50F. Wen [14]
51Danny Weyns [52]
52W. Eric Wong [55] [57]
53Alan T. Yaung [22]
54Qizhi Ye [56] [59]
55Hong Zhu [58] [63]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)