David Chenho Kung

83 papers A* 3A 10B 12C 3Journal 27Unranked 27

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