| 2018 | ACSAC | StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification. | Mohsin Junaid, Jiang Ming, David Chenho Kung |
| 2015 | ICST | A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. | Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung |
| 2013 | ISSRE | Fault localization based on failure-inducing combinations. | Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn |
| 2013 | SEKE | On Use Case Identification. | David Chenho Kung |
| 2011 | DSN | 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 |
| 2011 | SEKE | Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis. | Jerry Gao, Jing Guan, Alex Ma, Chuanqi Tao, Xiaoying Bai, David Chenho Kung |
| 2010 | DSN | Detecting vulnerabilities in C programs using trace-based testing. | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang |
| 2008 | ISSRE | Reusing Existing Test Cases for Security Testing. | Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung |
| 2006 | COMPSAC | Model Checking with Induction. | Kuangnan Chang, David Chenho Kung |
| 2006 | ISSRE | A State Exploration-Based Approach to Testing Java Monitors. | Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez |
| 2005 | COMPSAC | A Blocking-Based Approach to Protocol Validation. | Yu Lei, David Chenho Kung, Qizhi Ye |
| 2005 | COMPSAC | An Agent-Based Testing Approach for Web Applications. | Yu Qi, David Chenho Kung, W. Eric Wong |
| 2004 | COMPSAC | Agent-Based Framework for Testing Web Applications. | David Chenho Kung |
| 2004 | ICSE | 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 |
| 2003 | COMPSAC | Lessons Learned from Software Engineering Multi-Agent Systems. | David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri |
| 2000 | COMPSAC | An Object-Oriented Web Test Model for Testing Web Applications. | David Chenho Kung, Chien-Hung Liu, Pei Hsia |
| 2000 | ISSRE | Structural Testing of Web Applications. | Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu |
| 1999 | COMPSAC | OBL: A Formal Deduction Method for Object-Oriented Systems. | Kuangnan Chang, David Chenho Kung, Pei Hsia |
| 1999 | COMPSAC | Brooks' Law Revisited: A System Dynamics Approach. | Pei Hsia, Chih-Tung Hsu, David Chenho Kung |
| 1999 | COMPSAC | CORBA Components Testing with Perception-Based State Behavior. | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
| 1997 | ICSE | An Object-Oriented Testing and Maintenance Environment. | Pei Hsia, David Chenho Kung |
| 1996 | COMPSAC | A History-Based Approach for Early Faulty State Detection. | Pei Hsia, Xiaolin Li, David Chenho Kung |
| 1996 | COMPSAC | An Object-Oriented Real Time Systems Modeling and Verification Methodology. | David Chenho Kung, Scott R. Oksanen, Jyhjong Lin |
| 1996 | ISSRE | 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 |
| 1996 | SEKE | An Early Warning Approach for Method Sequence Testing. | Pei Hsia, Xiaolin Li, David Chenho Kung |
| 1995 | COMPSAC | Object state testing for object-oriented programs. | Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
| 1995 | COMPSAC | A Test Strategy for Object-Oriented Programs. | David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
| 1994 | COMPSAC | 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 |
| 1994 | COMPSAC | On object state testing. | David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen |
| 1994 | COMPSAC | Toward an object-oriented modeling approach with representation of temporal knowledge. | Jyhjong Lin, David Chenho Kung, Pei Hsia |
| 1991 | ER | Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. | Ching-Ming Chao, David Chenho Kung |
| 1985 | DS | On Structural and Behavioral Modeling of Reality. | Arne Slvberg, David Chenho Kung |
| 1985 | SIGMOD | On Verification of Database Temporal Constraints. | David Chenho Kung |
| 1984 | VLDB | A Temporal Framework for Database Specification and Verification. | David Chenho Kung |