David Chenho Kung

According to our database, David Chenho Kung authored at least 83 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

A Combinatorial Testing-Based Approach to Fault Localization.

Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung

IEEE Trans. Software Eng., 2020

2018

StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification.

Mohsin Junaid, Jiang Ming, David Chenho Kung

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2016

Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models.

Mohsin Junaid, Donggang Liu, David Chenho Kung

Comput. Secur., 2016

2015

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.

Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014

A distributed framework for demand-driven software vulnerability detection.

Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei

J. Syst. Softw., 2014

2013

On Use Case Identification.

David Chenho Kung

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.

Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Fault localization based on failure-inducing combinations.

Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

SimFuzz: Test case similarity directed deep fuzzing.

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang

J. Syst. Softw., 2012

2011

Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis.

Jerry Gao, Jing Guan, Alex Ma, Chuanqi Tao, Xiaoying Bai, David Chenho Kung

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A combinatorial approach to detecting buffer overflow vulnerabilities.

Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Detecting vulnerabilities in C programs using trace-based testing.

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2008

Software Verification and Validation.

David Chenho Kung, Hong Zhu

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Reusing Existing Test Cases for Security Testing.

Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

A combinatorial testing strategy for concurrent programs.

Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung

Softw. Test. Verification Reliab., 2007

2006

Assuring quality of web-based applications.

Hong Zhu, David Chenho Kung

Inf. Softw. Technol., 2006

An agent-based data-flow testing approach for Web applications.

Yu Qi, David Chenho Kung, W. Eric Wong

Inf. Softw. Technol., 2006

A Blocking-based Approach to Protocol Validation.

Qizhi Ye, Yu Lei, David Chenho Kung

Comput. J., 2006

A State Exploration-Based Approach to Testing Java Monitors.

Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Model Checking with Induction.

Kuangnan Chang, David Chenho Kung

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

An Agent-Based Testing Approach for Web Applications.

Yu Qi, David Chenho Kung, W. Eric Wong

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report.

Ricardo Choren, Alessandro Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky, Jaelson Brelaz de Castro, Rogério de Lemos, Danny Weyns

ACM SIGSOFT Softw. Eng. Notes, 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.

Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Martin L. Griss, David Chenho Kung, Naftaly H. Minsky, Alexander B. Romanovsky

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Agent-Based Framework for Testing Web Applications.

David Chenho Kung

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Lessons Learned from Software Engineering Multi-Agent Systems.

David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2001

An Object-based Data Flow Testing Approach for Web Applications.

Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu

Int. J. Softw. Eng. Knowl. Eng., 2001

2000

Structural Testing of Web Applications.

Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Object-Based Data Flow Testing of Web Applications.

Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

An Object-Oriented Web Test Model for Testing Web Applications .

David Chenho Kung, Chien-Hung Liu, Pei Hsia

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999

State-Based Reproducible Testing for CORBA Applications.

Hwan Wook Sohn, David Chenho Kung, Pei Hsia

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Object-Oriented Architecture Measures.

Brian Keith Miller, Pei Hsia, David Chenho Kung

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

CORBA Components Testing with Perception-Based State Behavior.

Hwan Wook Sohn, David Chenho Kung, Pei Hsia

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Brooks' Law Revisited: A System Dynamics Approach.

Pei Hsia, Chih-Tung Hsu, David Chenho Kung

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

OBL: A Formal Deduction Method for Object-Oriented Systems.

Kuangnan Chang, David Chenho Kung, Pei Hsia

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Incremental delivery reduces maintenance cost: a COCOMO-based study.

Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Eric J. Byrne

J. Softw. Maintenance Res. Pract., 1998

Object-Oriented Software Testing: Some Research and Development.

David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

A technique for the selective revalidation of OO software.

Pei Hsia, Xiaolin Li, David Chenho Kung, Chih-Tung Hsu, Liang Li, Yasufumi Toyoshima, Cris Chen

J. Softw. Maintenance Res. Pract., 1997

Software Requirements and acceptance Testing.

Pei Hsia, David Chenho Kung, Chris Sell

Ann. Softw. Eng., 1997

Object-oriented real time systems modeling and verification.

David Chenho Kung, John Lin, Pei Hsia, Bill Carroll

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

An Object-Oriented Testing and Maintenance Environment.

Pei Hsia, David Chenho Kung

Proceedings of the Pulling Together, 1997

Augmenting data flow criteria for class testing.

Pei Hsia, Xiaolin Li, David Chenho Kung

Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

1996

Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance.

Jerry Gao, Chris Chen, Yasufumi Toyoshima, David Chenho Kung, Pei Hsia

J. Softw. Maintenance Res. Pract., 1996

Or Regression Testing of Object-Oriented Programs.

David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen

J. Syst. Softw., 1996

Object-Oriented Specification and Formal Verification of Real-Time Systems.

Jyhjong Lin, David Chenho Kung, Pei Hsia

Ann. Softw. Eng., 1996

An Early Warning Approach for Method Sequence Testing.

Pei Hsia, Xiaolin Li, David Chenho Kung

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

An Object-Oriented Approach to Incremental Delivery of Software Systems.

Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Michelle M. Hepner, J. W. Wang

Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

Object state testing and fault analysis for reliable software systems.

David Chenho Kung, Y. Lu, N. Venugopalan, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

User-Centered System Decomposition: Z-Based Requirements Clustering.

Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Lawrence B. Holder

Proceedings of the 2nd International Conference on Requirements Engineering, 1996

Top-down development of real-time software specification.

Jyhjong Lin, David Chenho Kung, Pei Hsia

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

An Object-Oriented Real Time Systems Modeling and Verification Methodology.

David Chenho Kung, Scott R. Oksanen, Jyhjong Lin

Proceedings of the COMPSAC '96, 1996

A History-Based Approach for Early Faulty State Detection.

Pei Hsia, Xiaolin Li, David Chenho Kung

Proceedings of the COMPSAC '96, 1996

Class testing and code-based criteria.

Pei Hsia, Xiaolin Li, David Chenho Kung

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

1995

An executable visual formalism for object-oriented conceptual modeling.

David Chenho Kung

J. Syst. Softw., 1995

Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs.

David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima

J. Object Oriented Program., 1995

An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems.

Jyhjong Lin, David Chenho Kung, Pei Hsia

Informatica (Slovenia), 1995

Developing an Object-Oriented Software Testing and Maintenance Environment.

David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen, Young-Si Kim, Young-Kee Song

Commun. ACM, 1995

A study on the effect of architecture on maintainability of object-oriented systems.

Pei Hsia, A. Gupta, David Chenho Kung, J. Peng, S. Liu

Proceedings of the International Conference on Software Maintenance, 1995

The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study.

Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung

Proceedings of the 5th European Software Engineering Conference, 1995

A Test Strategy for Object-Oriented Programs.

David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

Object state testing for object-oriented programs.

Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

Towards a real-time object-oriented modeling approach.

Jyhjong Lin, David Chenho Kung, Pei Hsia

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

An object state test model: object state diagram.

Jerry Zeyu Gao, David Chenho Kung, Pei Hsia

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994

Formal Approach to Scenario Analysis.

Pei Hsia, Jayarajan Samuel, Jerry Gao, David Chenho Kung, Yasufumi Toyoshima, Cris Chen

IEEE Softw., 1994

On decision tree verification and consolidation.

David Chenho Kung

Inf. Softw. Technol., 1994

An Object-Oriented Conceptal Model for Information Systems.

David Chenho Kung, Jyhjong Lin, Pei Hsia

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Change Impact Identification in Object Oriented Software Maintenance.

David Chenho Kung, Jerry Gao, Pei Hsia, F. Wen, Yasufumi Toyoshima, Cris Chen

Proceedings of the International Conference on Software Maintenance, 1994

Guided Reuse for Programmers.

Pei Hsia, Richard H. S. Wang, David Chenho Kung

Proceedings of the Software Engineering Education, 1994

Toward an object-oriented modeling approach with representation of temporal knowledge.

Jyhjong Lin, David Chenho Kung, Pei Hsia

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

On object state testing.

David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Behavior-based acceptance testing of software systems: a formal scenario approach.

Pei Hsia, Jerry Zeyu Gao, Jayarajan Samuel, David Chenho Kung, Yasufumi Toyoshima, Chris Chen

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

An object oriented testing and maintenance environment.

David Chenho Kung, Jerry Gao, Pei Hsia

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

Status Report: Requirements Engineering.

Pei Hsia, Alan M. Davis, David Chenho Kung

IEEE Softw., 1993

The Behavior Network Model for conceptual information modeling.

David Chenho Kung

Inf. Syst., 1993

Design Recovery for Software Testing of Object-Oriented Programs.

David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima

Proceedings of Working Conference on Reverse Engineering, 1993

1991

Formal definition and verification of data flow diagrams.

Yonglei Tao, Chenho Kung

J. Syst. Softw., 1991

Response to "deliberations on Kung's process interface modeling".

Chenho Kung

J. Syst. Softw., 1991

Process interface modeling and consistency checking.

Chenho Kung

J. Syst. Softw., 1991

Rapid Prototyping of Conceptual Database Design on a Relational Database Management System.

Ching-Ming Chao, David Chenho Kung

Proceedings of the 10th International Conference on Entity-Relationship Approach (ER'91), 1991

1990

Object Subclass Hierarchy in SQL: A Simple Approach.

David Chenho Kung

Commun. ACM, 1990

1989

Conceptual Modeling in the Context of Software Development.

David Chenho Kung

IEEE Trans. Software Eng., 1989

1985

On Verification of Database Temporal Constraints.

David Chenho Kung

Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

On Structural and Behavioral Modeling of Reality.

Arne Sølvberg, David Chenho Kung

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

1984

A Temporal Framework for Database Specification and Verification.

David Chenho Kung

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984