| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang |
SimFuzz: Test case similarity directed deep fuzzing.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang |
Detecting vulnerabilities in C programs using trace-based testing. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Hong Zhu |
Software Verification and Validation. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung |
Reusing Existing Test Cases for Security Testing. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung |
A combinatorial testing strategy for concurrent programs. |
Softw. Test., Verif. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qizhi Ye, Yu Lei, David Chenho Kung |
A Blocking-based Approach to Protocol Validation. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, David Chenho Kung |
Assuring quality of web-based applications. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Qi, David Chenho Kung, W. Eric Wong |
An agent-based data-flow testing approach for Web applications. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuangnan Chang, David Chenho Kung |
Model Checking with Induction. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez |
A State Exploration-Based Approach to Testing Java Monitors. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Lei, David Chenho Kung, Qizhi Ye |
A Blocking-Based Approach to Protocol Validation. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Qi, David Chenho Kung, W. Eric Wong |
An Agent-Based Testing Approach for Web Applications. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung |
Agent-Based Framework for Testing Web Applications. |
COMPSAC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Hitesh Bhambhani, Sheila Nwokoro, Wesam Okasha, Ravindra Kambalakatta, Praveen Sankuratri |
Lessons Learned from Software Engineering Multi-Agent Systems. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Chien-Hung Liu, Pei Hsia |
An Object-Oriented Web Test Model for Testing Web Applications. (PDF / PS) |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu |
Object-Based Data Flow Testing of Web Applications. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Chien-Hung Liu, Pei Hsia |
An Object-Oriented Web Test Model for Testing Web Applications . |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu |
Structural Testing of Web Applications. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
State-Based Reproducible Testing for CORBA Applications. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
component based software testing, state testing, CORBA, replay |
| 1 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
CORBA Components Testing with Perception-Based State Behavior. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
perception-based state machine, program replay, CORBA, deterministic testing, dynamic testing |
| 1 | Pei Hsia, Chih-Tung Hsu, David Chenho Kung |
Brooks' Law Revisited: A System Dynamics Approach. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuangnan Chang, David Chenho Kung, Pei Hsia |
OBL: A Formal Deduction Method for Object-Oriented Systems. (PDF / PS) |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Keith Miller, Pei Hsia, David Chenho Kung |
Object-Oriented Architecture Measures. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Eric J. Byrne |
Incremental delivery reduces maintenance cost: a COCOMO-based study. |
Journal of Software Maintenance |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao |
Object-Oriented Software Testing: Some Research and Development. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, David Chenho Kung, Chris Sell |
Software Requirements and acceptance Testing. |
Ann. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, Xiaolin Li 0007, David Chenho Kung |
Augmenting data flow criteria for class testing. |
CASCON |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, David Chenho Kung |
An Object-Oriented Testing and Maintenance Environment. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Object-Oriented Specification and Formal Verification of Real-Time Systems. |
Ann. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Chris Chen |
Or Regression Testing of Object-Oriented Programs. |
Journal of Systems and Software |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Top-down development of real-time software specification. (PDF / PS) |
HASE |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung, Scott R. Oksanen, Jyhjong Lin |
An Object-Oriented Real Time Systems Modeling and Verification Methodology. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, Xiaolin Li 0007, David Chenho Kung |
A History-Based Approach for Early Faulty State Detection. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Lawrence B. Holder |
User-Centered System Decomposition: Z-Based Requirements Clustering. (PDF / PS) |
ICRE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hsia, Xiaolin Li 0007, David Chenho Kung |
An Early Warning Approach for Method Sequence Testing. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Pei Hsia, Xiaolin Li 0007, David Chenho Kung |
Class testing and code-based criteria. |
CASCON |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems. |
Informatica (Slovenia) |
1995 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima |
Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs. |
JOOP |
1995 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung |
An executable visual formalism for object-oriented conceptual modeling. |
Journal of Systems and Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
A Test Strategy for Object-Oriented Programs. (PDF / PS) |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
reverse engineering, C++, test strategy, object-oriented testing, test model |
| 1 | Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen |
Object state testing for object-oriented programs. (PDF / PS) |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs |
| 1 | Pei Hsia, A. Gupta, David Chenho Kung, J. Peng, S. Liu |
A study on the effect of architecture on maintainability of object-oriented systems. (PDF / PS) |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
software architecture effect, software development techniques, inheritance hierarchy, object reuse, data structures, object-oriented programming, software maintenance, software maintenance, inheritance, software reusability, object-oriented methods, maintainability, object-oriented systems |
| 1 | Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung |
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Towards a real-time object-oriented modeling approach. |
CASCON |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry Zeyu Gao, David Chenho Kung, Pei Hsia |
An object state test model: object state diagram. |
CASCON |
1995 |
DBLP DOI BibTeX RDF |
object state diagram, object-state testing, test model |
| 1 | Pei Hsia, Jayarajan Samuel, Jerry Gao, David Chenho Kung, Yasufumi Toyoshima, Cris Chen |
Formal Approach to Scenario Analysis. |
IEEE Software |
1994 |
DBLP DOI BibTeX RDF |
private telephone exchanges, telephone systems, simple PBX system, formal mathematical base, precise scenarios, formal specification, formal verification, systems analysis, requirements analysis, telecommunications computing, scenario analysis, formal approach |
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia, F. Wen, Yasufumi Toyoshima, Cris Chen |
Change Impact Identification in Object Oriented Software Maintenance. |
ICSM |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung, Jyhjong Lin, Pei Hsia |
An Object-Oriented Conceptal Model for Information Systems. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pei Hsia, Richard H. S. Wang, David Chenho Kung |
Guided Reuse for Programmers. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia |
An object oriented testing and maintenance environment. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung |
The Behavior Network Model for conceptual information modeling. |
Inf. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung, Jerry Gao, Pei Hsia, Jeremy Lin, Yasufumi Toyoshima |
Design Recovery for Software Testing of Object-Oriented Programs. |
WCRE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Yonglei Tao, Chenho Kung |
Formal definition and verification of data flow diagrams. |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenho Kung |
Response to "deliberations on Kung's process interface modeling". |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenho Kung |
Process interface modeling and consistency checking. |
Journal of Systems and Software |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ching-Ming Chao, David Chenho Kung |
Rapid Prototyping of Conceptual Database Design on a Relational Database Management System. |
ER |
1991 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung |
Object Subclass Hierarchy in SQL: A Simple Approach. |
Commun. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chenho Kung |
Conceptual Modeling in the Context of Software Development. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
formal analysis of model, Conceptual modeling, requirements specification, consistency checking, executable specification |
| 1 | David Chenho Kung |
On Verification of Database Temporal Constraints. |
SIGMOD Conference |
1985 |
DBLP DOI BibTeX RDF |
formal verification of specifications, software engineering, databases, semantic integrity, temporal dimension |
| 1 | Arne Sølvberg, David Chenho Kung |
On Structural and Behavioral Modeling of Reality. |
DS-1 |
1985 |
DBLP BibTeX RDF |
|
| 1 | David Chenho Kung |
A Temporal Framework for Database Specification and Verification. |
VLDB |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")