David Chenho Kung Home Page Coauthor index DBLP Vis pubzone.org

Chenho Kung

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

DBLP keys2008
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Hong Zhu: Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuangnan Chang, David Chenho Kung: Model Checking with Induction. COMPSAC (1) 2006: 143-149
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez: A State Exploration-Based Approach to Testing Java Monitors. ISSRE 2006: 256-265
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQizhi Ye, Yu Lei, David Chenho Kung: A Blocking-based Approach to Protocol Validation. Comput. J. 49(5): 541-553 (2006)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong Zhu, David Chenho Kung: Assuring quality of web-based applications. Information & Software Technology 48(12): 1135-1136 (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. COMPSAC (1) 2005: 301-306
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Qi, David Chenho Kung, W. Eric Wong: An Agent-Based Testing Approach for Web Applications. COMPSAC (2) 2005: 45-50
2004
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: Agent-Based Framework for Testing Web Applications. COMPSAC Workshops 2004: 174-177
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChien-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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Chien-Hung Liu, Pei Hsia: An Object-Oriented Web Test Model for Testing Web Applications . APAQS 2000: 111-120
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu: Object-Based Data Flow Testing of Web Applications. APAQS 2000: 7-16
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Chien-Hung Liu, Pei Hsia: An Object-Oriented Web Test Model for Testing Web Applications. COMPSAC 2000: 537-542
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu: Structural Testing of Web Applications. ISSRE 2000: 84-96
1999
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHwan Wook Sohn, David Chenho Kung, Pei Hsia: CORBA Components Testing with Perception-Based State Behavior. COMPSAC 1999: 116-121
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Chih-Tung Hsu, David Chenho Kung: Brooks' Law Revisited: A System Dynamics Approach. COMPSAC 1999: 370-375
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuangnan Chang, David Chenho Kung, Pei Hsia: OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC 1999: 450-455
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Keith Miller, Pei Hsia, David Chenho Kung: Object-Oriented Architecture Measures. HICSS 1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHwan Wook Sohn, David Chenho Kung, Pei Hsia: State-Based Reproducible Testing for CORBA Applications. PDSE 1999: 24-
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao: Object-Oriented Software Testing: Some Research and Development. HASE 1998: 158-165
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Xiaolin Li, David Chenho Kung: Augmenting data flow criteria for class testing. CASCON 1997: 9
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, David Chenho Kung: An Object-Oriented Testing and Maintenance Environment. ICSE 1997: 608-609
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, David Chenho Kung, Chris Sell: Software Requirements and acceptance Testing. Ann. Software Eng. 3: 291-317 (1997)
1996
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Xiaolin Li, David Chenho Kung: Class testing and code-based criteria. CASCON 1996: 14
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Xiaolin Li, David Chenho Kung: A History-Based Approach for Early Faulty State Detection. COMPSAC 1996: 321-
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Scott R. Oksanen, Jyhjong Lin: An Object-Oriented Real Time Systems Modeling and Verification Methodology. COMPSAC 1996: 490-495
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyhjong Lin, David Chenho Kung, Pei Hsia: Top-down development of real-time software specification. HASE 1996: 271-
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Chih-Tung Hsu, David Chenho Kung, Lawrence B. Holder: User-Centered System Decomposition: Z-Based Requirements Clustering. ICRE 1996: 126-135
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei 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-
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Xiaolin Li, David Chenho Kung: An Early Warning Approach for Method Sequence Testing. SEKE 1996: 330-337
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyhjong Lin, David Chenho Kung, Pei Hsia: Object-Oriented Specification and Formal Verification of Real-Time Systems. Ann. Software Eng. 2: 161-198 (1996)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJerry Zeyu Gao, David Chenho Kung, Pei Hsia: An object state test model: object state diagram. CASCON 1995: 23
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyhjong Lin, David Chenho Kung, Pei Hsia: Towards a real-time object-oriented modeling approach. CASCON 1995: 42
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen: Object state testing for object-oriented programs. COMPSAC 1995: 232-238
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen: A Test Strategy for Object-Oriented Programs. COMPSAC 1995: 239-244
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyhjong 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)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: An executable visual formalism for object-oriented conceptual modeling. Journal of Systems and Software 31(1): 33-43 (1995)
1994
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Jerry Gao, Pei Hsia: An object oriented testing and maintenance environment. CASCON 1994: 37
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Hsia, Richard H. S. Wang, David Chenho Kung: Guided Reuse for Programmers. CSEE 1994: 499-516
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Jerry Gao, Pei Hsia, F. Wen, Yasufumi Toyoshima, Cris Chen: Change Impact Identification in Object Oriented Software Maintenance. ICSM 1994: 202-211
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Jyhjong Lin, Pei Hsia: An Object-Oriented Conceptal Model for Information Systems. IFIP Congress (1) 1994: 259-264
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung, Jerry Gao, Pei Hsia, J. Lin, Yasufumi Toyoshima: Design Recovery for Software Testing of Object-Oriented Programs. WCRE 1993: 202-211
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: The Behavior Network Model for conceptual information modeling. Inf. Syst. 18(1): 1-21 (1993)
1991
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-Ming Chao, David Chenho Kung: Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. ER 1991: 93-109
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChenho Kung: Process interface modeling and consistency checking. Journal of Systems and Software 15(2): 185-191 (1991)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChenho Kung: Response to "deliberations on Kung's process interface modeling". Journal of Systems and Software 15(2): 199 (1991)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonglei Tao, Chenho Kung: Formal definition and verification of data flow diagrams. Journal of Systems and Software 16(1): 29-36 (1991)
1990
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: Object Subclass Hierarchy in SQL: A Simple Approach. Commun. ACM 33(7): 117-127 (1990)
1989
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: Conceptual Modeling in the Context of Software Development. IEEE Trans. Software Eng. 15(10): 1176-1187 (1989)
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne Sølvberg, David Chenho Kung: On Structural and Behavioral Modeling of Reality. DS-1 1985: 205-221
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
1984
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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 © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)