David Chenho Kung

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 3

Top Topics

Mobile Platforms

Detecting Malicious

Top Venues

J. Syst. Softw.

Publications

Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung
A Combinatorial Testing-Based Approach to Fault Localization. IEEE Trans. Software Eng. 46 (6) (2020)
Mohsin Junaid, Jiang Ming, David Chenho Kung
StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification. ACSAC (2018)
Mohsin Junaid, Donggang Liu, David Chenho Kung
Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models. Comput. Secur. 59 (2016)
Mohsin Junaid, Donggang Liu, David Chenho Kung
Dexteroid: Detecting Malicious Behaviors in Android Apps Using Reverse-Engineered Life Cycle Models. CoRR (2015)
Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. ICST (2015)
Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei
A distributed framework for demand-driven software vulnerability detection. J. Syst. Softw. 87 (2014)
David Chenho Kung
On Use Case Identification. SEKE (2013)
Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn
Fault localization based on failure-inducing combinations. ISSRE (2013)
Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. MUSEPAT (2013)
Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang
SimFuzz: Test case similarity directed deep fuzzing. J. Syst. Softw. 85 (1) (2012)
Jerry Gao, Jing Guan, Alex Ma, Chuanqi Tao, Xiaoying Bai, David Chenho Kung
Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis. SEKE (2011)
Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn
A combinatorial approach to detecting buffer overflow vulnerabilities. DSN (2011)
Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang
Detecting vulnerabilities in C programs using trace-based testing. DSN (2010)
Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung
Reusing Existing Test Cases for Security Testing. ISSRE (2008)
Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung
A combinatorial testing strategy for concurrent programs. Softw. Test. Verification Reliab. 17 (4) (2007)
Yu Qi, David Chenho Kung, W. Eric Wong
An agent-based data-flow testing approach for Web applications. Inf. Softw. Technol. 48 (12) (2006)
Hong Zhu, David Chenho Kung
Assuring quality of web-based applications. Inf. Softw. Technol. 48 (12) (2006)
Kuangnan Chang, David Chenho Kung
Model Checking with Induction. COMPSAC (1) (2006)
Qizhi Ye, Yu Lei, David Chenho Kung
A Blocking-based Approach to Protocol Validation. Comput. J. 49 (5) (2006)
Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez
A State Exploration-Based Approach to Testing Java Monitors. ISSRE (2006)
Yu Qi, David Chenho Kung, W. Eric Wong
An Agent-Based Testing Approach for Web Applications. COMPSAC (2) (2005)
Yu Lei, David Chenho Kung, Qizhi Ye
A Blocking-Based Approach to Protocol Validation. COMPSAC (1) (2005)
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)
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
Software engineering for large-scale multi-agent systems - SELMAS 2004: workshop report. ACM SIGSOFT Softw. Eng. Notes 29 (5) (2004)
David Chenho Kung
Agent-Based Framework for Testing Web Applications. COMPSAC Workshops (2004)
David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri
Lessons Learned from Software Engineering Multi-Agent Systems. COMPSAC (2003)
Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
An Object-based Data Flow Testing Approach for Web Applications. Int. J. Softw. Eng. Knowl. Eng. 11 (2) (2001)
David Chenho Kung, Chien-Hung Liu, Pei Hsia
An Object-Oriented Web Test Model for Testing Web Applications. COMPSAC (2000)
Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
Object-Based Data Flow Testing of Web Applications. APAQS (2000)
Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu
Structural Testing of Web Applications. ISSRE (2000)
David Chenho Kung, Chien-Hung Liu, Pei Hsia
An Object-Oriented Web Test Model for Testing Web Applications . APAQS (2000)
Kuangnan Chang, David Chenho Kung, Pei Hsia
OBL: A Formal Deduction Method for Object-Oriented Systems. COMPSAC (1999)
Brian Keith Miller, Pei Hsia, David Chenho Kung
Object-Oriented Architecture Measures. HICSS (1999)
Pei Hsia, Chih-Tung Hsu, David Chenho Kung
Brooks' Law Revisited: A System Dynamics Approach. COMPSAC (1999)
Hwan Wook Sohn, David Chenho Kung, Pei Hsia
CORBA Components Testing with Perception-Based State Behavior. COMPSAC (1999)
Hwan Wook Sohn, David Chenho Kung, Pei Hsia
State-Based Reproducible Testing for CORBA Applications. PDSE (1999)
Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Eric J. Byrne
Incremental delivery reduces maintenance cost: a COCOMO-based study. J. Softw. Maintenance Res. Pract. 10 (4) (1998)
David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao
Object-Oriented Software Testing: Some Research and Development. HASE (1998)
Pei Hsia, Xiaolin Li, David Chenho Kung, Chih-Tung Hsu, Liang Li, Yasufumi Toyoshima, Cris Chen
A technique for the selective revalidation of OO software. J. Softw. Maintenance Res. Pract. 9 (4) (1997)
Pei Hsia, David Chenho Kung
An Object-Oriented Testing and Maintenance Environment. ICSE (1997)
Pei Hsia, Xiaolin Li, David Chenho Kung
Augmenting data flow criteria for class testing. CASCON (1997)
David Chenho Kung, John Lin, Pei Hsia, Bill Carroll
Object-oriented real time systems modeling and verification. WORDS (1997)
Pei Hsia, David Chenho Kung, Chris Sell
Software Requirements and acceptance Testing. Ann. Softw. Eng. 3 (1997)
Jyhjong Lin, David Chenho Kung, Pei Hsia
Object-Oriented Specification and Formal Verification of Real-Time Systems. Ann. Softw. Eng. 2 (1996)
David Chenho Kung, Y. Lu, N. Venugopalan, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao
Object state testing and fault analysis for reliable software systems. ISSRE (1996)
Pei Hsia, Xiaolin Li, David Chenho Kung
A History-Based Approach for Early Faulty State Detection. COMPSAC (1996)
Pei Hsia, Xiaolin Li, David Chenho Kung
An Early Warning Approach for Method Sequence Testing. SEKE (1996)
Jyhjong Lin, David Chenho Kung, Pei Hsia
Top-down development of real-time software specification. HASE (1996)
Pei Hsia, Xiaolin Li, David Chenho Kung
Class testing and code-based criteria. CASCON (1996)
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
Or Regression Testing of Object-Oriented Programs. J. Syst. Softw. 32 (1) (1996)
Jerry Gao, Chris Chen, Yasufumi Toyoshima, David Chenho Kung, Pei Hsia
Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance. J. Softw. Maintenance Res. Pract. 8 (6) (1996)
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)
David Chenho Kung, Scott R. Oksanen, Jyhjong Lin
An Object-Oriented Real Time Systems Modeling and Verification Methodology. COMPSAC (1996)
Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Lawrence B. Holder
User-Centered System Decomposition: Z-Based Requirements Clustering. ICRE (1996)
David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen
A Test Strategy for Object-Oriented Programs. COMPSAC (1995)
Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen
Object state testing for object-oriented programs. COMPSAC (1995)
Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. ESEC (1995)
David Chenho Kung
An executable visual formalism for object-oriented conceptual modeling. J. Syst. Softw. 31 (1) (1995)
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)
David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima
Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs. J. Object Oriented Program. 8 (2) (1995)
Jyhjong Lin, David Chenho Kung, Pei Hsia
Towards a real-time object-oriented modeling approach. CASCON (1995)
Jerry Zeyu Gao, David Chenho Kung, Pei Hsia
An object state test model: object state diagram. CASCON (1995)
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) (1995)
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)
David Chenho Kung, N. Suchak, Jerry Zeyu Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen
On object state testing. COMPSAC (1994)
Pei Hsia, Richard H. S. Wang, David Chenho Kung
Guided Reuse for Programmers. CSEE (1994)
David Chenho Kung, Jerry Gao, Pei Hsia
An object oriented testing and maintenance environment. CASCON (1994)
David Chenho Kung
On decision tree verification and consolidation. Inf. Softw. Technol. 36 (8) (1994)
Jyhjong Lin, David Chenho Kung, Pei Hsia
Toward an object-oriented modeling approach with representation of temporal knowledge. COMPSAC (1994)
Pei Hsia, Jayarajan Samuel, Jerry Gao, David Chenho Kung, Yasufumi Toyoshima, Cris Chen
Formal Approach to Scenario Analysis. IEEE Softw. 11 (2) (1994)
Pei Hsia, Jerry Zeyu Gao, Jayarajan Samuel, David Chenho Kung, Yasufumi Toyoshima, Chris Chen
Behavior-based acceptance testing of software systems: a formal scenario approach. COMPSAC (1994)
David Chenho Kung, Jerry Gao, Pei Hsia, F. Wen, Yasufumi Toyoshima, Cris Chen
Change Impact Identification in Object Oriented Software Maintenance. ICSM (1994)
David Chenho Kung, Jyhjong Lin, Pei Hsia
An Object-Oriented Conceptal Model for Information Systems. IFIP Congress (1) (1994)
David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima
Design Recovery for Software Testing of Object-Oriented Programs. WCRE (1993)
David Chenho Kung
The Behavior Network Model for conceptual information modeling. Inf. Syst. 18 (1) (1993)
Pei Hsia, Alan M. Davis, David Chenho Kung
Status Report: Requirements Engineering. IEEE Softw. 10 (6) (1993)
Ching-Ming Chao, David Chenho Kung
Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. ER (1991)
David Chenho Kung
Object Subclass Hierarchy in SQL: A Simple Approach. Commun. ACM 33 (7) (1990)
David Chenho Kung
Conceptual Modeling in the Context of Software Development. IEEE Trans. Software Eng. 15 (10) (1989)
Arne Sølvberg, David Chenho Kung
On Structural and Behavioral Modeling of Reality. DS-1 (1985)
David Chenho Kung
On Verification of Database Temporal Constraints. SIGMOD Conference (1985)
David Chenho Kung
A Temporal Framework for Database Specification and Verification. VLDB (1984)