David Chenho Kung

According to our database1, David Chenho Kung authored at least 84 papers between 1984 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification.
Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2016
Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models.
Computers & Security, 2016

2015
Dexteroid: Detecting Malicious Behaviors in Android Apps Using Reverse-Engineered Life Cycle Models.
CoRR, 2015

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
A distributed framework for demand-driven software vulnerability detection.
Journal of Systems and Software, 2014

2013
On Use Case Identification.
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.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Fault localization based on failure-inducing combinations.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
SimFuzz: Test case similarity directed deep fuzzing.
Journal of Systems and Software, 2012

2011
Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A combinatorial approach to detecting buffer overflow vulnerabilities.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010
Detecting vulnerabilities in C programs using trace-based testing.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2008
Software Verification and Validation.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Reusing Existing Test Cases for Security Testing.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007
A combinatorial testing strategy for concurrent programs.
Softw. Test., Verif. Reliab., 2007

2006
Assuring quality of web-based applications.
Information & Software Technology, 2006

An agent-based data-flow testing approach for Web applications.
Information & Software Technology, 2006

A Blocking-based Approach to Protocol Validation.
Comput. J., 2006

A State Exploration-Based Approach to Testing Java Monitors.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Model Checking with Induction.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
An Agent-Based Testing Approach for Web Applications.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Blocking-Based Approach to Protocol Validation.
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.
ACM SIGSOFT Software Engineering Notes, 2004

Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Agent-Based Framework for Testing Web Applications.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Lessons Learned from Software Engineering Multi-Agent Systems.
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.
International Journal of Software Engineering and Knowledge Engineering, 2001

2000
Structural Testing of Web Applications.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Object-Based Data Flow Testing of Web Applications.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

An Object-Oriented Web Test Model for Testing Web Applications .
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1999
State-Based Reproducible Testing for CORBA Applications.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Object-Oriented Architecture Measures.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

CORBA Components Testing with Perception-Based State Behavior.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Brooks' Law Revisited: A System Dynamics Approach.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

OBL: A Formal Deduction Method for Object-Oriented Systems.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
Incremental delivery reduces maintenance cost: a COCOMO-based study.
Journal of Software Maintenance, 1998

Object-Oriented Software Testing: Some Research and Development.
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.
Journal of Software Maintenance, 1997

Software Requirements and acceptance Testing.
Ann. Software Eng., 1997

Object-oriented real time systems modeling and verification.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

An Object-Oriented Testing and Maintenance Environment.
Proceedings of the Pulling Together, 1997

Augmenting data flow criteria for class testing.
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.
Journal of Software Maintenance, 1996

Or Regression Testing of Object-Oriented Programs.
Journal of Systems and Software, 1996

Object-Oriented Specification and Formal Verification of Real-Time Systems.
Ann. Software Eng., 1996

An Early Warning Approach for Method Sequence Testing.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

An Object-Oriented Approach to Incremental Delivery of Software Systems.
Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

Object state testing and fault analysis for reliable software systems.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

User-Centered System Decomposition: Z-Based Requirements Clustering.
Proceedings of the 2nd International Conference on Requirements Engineering, 1996

Top-down development of real-time software specification.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

An Object-Oriented Real Time Systems Modeling and Verification Methodology.
Proceedings of the COMPSAC '96, 1996

A History-Based Approach for Early Faulty State Detection.
Proceedings of the COMPSAC '96, 1996

Class testing and code-based criteria.
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.
Journal of Systems and Software, 1995

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

An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems.
Informatica (Slovenia), 1995

Developing an Object-Oriented Software Testing and Maintenance Environment.
Commun. ACM, 1995

A study on the effect of architecture on maintainability of object-oriented systems.
Proceedings of the International Conference on Software Maintenance, 1995

The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study.
Proceedings of the 5th European Software Engineering Conference, 1995

A Test Strategy for Object-Oriented Programs.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

Object state testing for object-oriented programs.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

Towards a real-time object-oriented modeling approach.
Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

An object state test model: object state diagram.
Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994
Formal Approach to Scenario Analysis.
IEEE Software, 1994

On decision tree verification and consolidation.
Information & Software Technology, 1994

An Object-Oriented Conceptal Model for Information Systems.
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.
Proceedings of the International Conference on Software Maintenance, 1994

Guided Reuse for Programmers.
Proceedings of the Software Engineering Education, 1994

Toward an object-oriented modeling approach with representation of temporal knowledge.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

On object state testing.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Behavior-based acceptance testing of software systems: a formal scenario approach.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

An object oriented testing and maintenance environment.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
Status Report: Requirements Engineering.
IEEE Software, 1993

The Behavior Network Model for conceptual information modeling.
Inf. Syst., 1993

Design Recovery for Software Testing of Object-Oriented Programs.
Proceedings of Working Conference on Reverse Engineering, 1993

1991
Formal definition and verification of data flow diagrams.
Journal of Systems and Software, 1991

Response to "deliberations on Kung's process interface modeling".
Journal of Systems and Software, 1991

Process interface modeling and consistency checking.
Journal of Systems and Software, 1991

Rapid Prototyping of Conceptual Database Design on a Relational Database Management System.
Proceedings of the 10th International Conference on Entity-Relationship Approach (ER'91), 1991

1990
Object Subclass Hierarchy in SQL: A Simple Approach.
Commun. ACM, 1990

1989
Conceptual Modeling in the Context of Software Development.
IEEE Trans. Software Eng., 1989

1985
On Verification of Database Temporal Constraints.
Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, 1985

On Structural and Behavioral Modeling of Reality.
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.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984


  Loading...