David Chenho Kung

Chenho Kung

2008
63	EE	David Chenho Kung, Hong Zhu: Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
62	EE	Yu 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
61	EE	Kuangnan Chang, David Chenho Kung: Model Checking with Induction. COMPSAC (1) 2006: 143-149
60	EE	Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez: A State Exploration-Based Approach to Testing Java Monitors. ISSRE 2006: 256-265
59	EE	Qizhi Ye, Yu Lei, David Chenho Kung: A Blocking-based Approach to Protocol Validation. Comput. J. 49(5): 541-553 (2006)
58	EE	Hong Zhu, David Chenho Kung: Assuring quality of web-based applications. Information & Software Technology 48(12): 1135-1136 (2006)
57	EE	Yu 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
56	EE	Yu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. COMPSAC (1) 2005: 301-306
55	EE	Yu Qi, David Chenho Kung, W. Eric Wong: An Agent-Based Testing Approach for Web Applications. COMPSAC (2) 2005: 45-50
2004
54	EE	David Chenho Kung: Agent-Based Framework for Testing Web Applications. COMPSAC Workshops 2004: 174-177
53	EE	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. ICSE 2004: 752-753
52	EE	Ricardo 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
51	EE	David 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
49	EE	David Chenho Kung, Chien-Hung Liu, Pei Hsia: An Object-Oriented Web Test Model for Testing Web Applications . APAQS 2000: 111-120
48	EE	Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu: Object-Based Data Flow Testing of Web Applications. APAQS 2000: 7-16
47	EE	David Chenho Kung, Chien-Hung Liu, Pei Hsia: An Object-Oriented Web Test Model for Testing Web Applications. COMPSAC 2000: 537-542
46	EE	Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu: Structural Testing of Web Applications. ISSRE 2000: 84-96
1999
45	EE	Hwan Wook Sohn, David Chenho Kung, Pei Hsia: CORBA Components Testing with Perception-Based State Behavior. COMPSAC 1999: 116-121
44	EE	Pei Hsia, Chih-Tung Hsu, David Chenho Kung: Brooks' Law Revisited: A System Dynamics Approach. COMPSAC 1999: 370-375
43	EE	Kuangnan Chang, David Chenho Kung, Pei Hsia: OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC 1999: 450-455
42	EE	Brian Keith Miller, Pei Hsia, David Chenho Kung: Object-Oriented Architecture Measures. HICSS 1999
41	EE	Hwan Wook Sohn, David Chenho Kung, Pei Hsia: State-Based Reproducible Testing for CORBA Applications. PDSE 1999: 24-
1998
40	EE	David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao: Object-Oriented Software Testing: Some Research and Development. HASE 1998: 158-165
39	EE	Pei 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
38	EE	Pei Hsia, Xiaolin Li, David Chenho Kung: Augmenting data flow criteria for class testing. CASCON 1997: 9
37	EE	Pei 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
35	EE	Pei Hsia, Xiaolin Li, David Chenho Kung: Class testing and code-based criteria. CASCON 1996: 14
34	EE	Pei Hsia, Xiaolin Li, David Chenho Kung: A History-Based Approach for Early Faulty State Detection. COMPSAC 1996: 321-
33	EE	David Chenho Kung, Scott R. Oksanen, Jyhjong Lin: An Object-Oriented Real Time Systems Modeling and Verification Methodology. COMPSAC 1996: 490-495
32	EE	Jyhjong Lin, David Chenho Kung, Pei Hsia: Top-down development of real-time software specification. HASE 1996: 271-
31	EE	Pei 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
26	EE	Jerry Zeyu Gao, David Chenho Kung, Pei Hsia: An object state test model: object state diagram. CASCON 1995: 23
25	EE	Jyhjong Lin, David Chenho Kung, Pei Hsia: Towards a real-time object-oriented modeling approach. CASCON 1995: 42
24	EE	Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen: Object state testing for object-oriented programs. COMPSAC 1995: 232-238
23	EE	David 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
21	EE	Pei 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)
17	EE	David Chenho Kung: An executable visual formalism for object-oriented conceptual modeling. Journal of Systems and Software 31(1): 33-43 (1995)
1994
16	EE	David Chenho Kung, Jerry Gao, Pei Hsia: An object oriented testing and maintenance environment. CASCON 1994: 37
15		Pei 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
12	EE	Pei 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
9	EE	Ching-Ming Chao, David Chenho Kung: Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. ER 1991: 93-109
8	EE	Chenho Kung: Process interface modeling and consistency checking. Journal of Systems and Software 15(2): 185-191 (1991)
7	EE	Chenho Kung: Response to "deliberations on Kung's process interface modeling". Journal of Systems and Software 15(2): 199 (1991)
6	EE	Yonglei Tao, Chenho Kung: Formal definition and verification of data flow diagrams. Journal of Systems and Software 16(1): 29-36 (1991)
1990
5	EE	David Chenho Kung: Object Subclass Hierarchy in SQL: A Simple Approach. Commun. ACM 33(7): 117-127 (1990)
1989
4	EE	David 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
2	EE	David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
1984
1	EE	David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99

Coauthor Index

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

Colors in the list of coauthors