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 (COMPSAC, 1994)

On object state testing. - David Chenho Kung; N. Suchak; Jerry Zeyu Gao; Pei Hsia; Yasufumi Toyoshima; Chris Chen (COMPSAC, 1994)

Change Impact Identification in Object Oriented Software Maintenance. - David Chenho Kung; Jerry Gao 002; Pei Hsia; F. Wen; Yasufumi Toyoshima; Cris Chen (ICSM, 1994)

Formal Approach to Scenario Analysis. - Pei Hsia; Jayarajan Samuel; Jerry Gao 002; David Chenho Kung; Yasufumi Toyoshima; Cris Chen (IEEE Softw., 1994)

Object state testing for object-oriented programs. - Jerry Z. Gao 002; David Chenho Kung; Pei Hsia; Yasufumi Toyoshima; Cris Chen (COMPSAC, 1995)

A Test Strategy for Object-Oriented Programs. - David Chenho Kung; Jerry Gao 002; Pei Hsia; Yasufumi Toyoshima; Cris Chen (COMPSAC, 1995)

Developing an Object-Oriented Software Testing and Maintenance Environment. - David Chenho Kung; Jerry Gao 002; Pei Hsia; Yasufumi Toyoshima; Chris Chen; Young-Si Kim; Young-Kee Song (Commun. ACM, 1995)

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 002 (ISSRE, 1996)

Or Regression Testing of Object-Oriented Programs. - David Chenho Kung; Jerry Gao 002; Pei Hsia; Yasufumi Toyoshima; Chris Chen (J. Syst. Softw., 1996)

Identifying Polymorphism Change and Impact in Object-orientated Software Maintenance. - Jerry Gao 002; Chris Chen; Yasufumi Toyoshima; David Chenho Kung; Pei Hsia (J. Softw. Maintenance Res. Pract., 1996)

Developing an Integrated Testing Environment Using the World Wide Web Technology. - Jerry Gao 002; Cris Chen; Yasufumi Toyoshima; David K. Leung (COMPSAC, 1997)

A technique for the selective revalidation of OO software. - Pei Hsia; Xiaolin Li 007; David Chenho Kung; Chih-Tung Hsu; Liang Li; Yasufumi Toyoshima; Cris Chen (J. Softw. Maintenance Res. Pract., 1997)

Object-Oriented Software Testing: Some Research and Development. - David Chenho Kung; Pei Hsia; Yasufumi Toyoshima; Cris Chen; Jerry Gao 002 (HASE, 1998)

Engineering on the Internet for Global Software Production. - Jerry Gao 002; Chris Chen; Yasufumi Toyoshima; David K. Leung (Computer, 1999)

Design an easy-to-use infection screening system for non-contact monitoring of vital-signs to prevent the spread of pandemic diseases. - Guanghao Sun; Nguyen Quang Vinh; Ayumu Matsuoka; Keisuke Miyata; Chris Chen; Akiko Ueda; Seokjin Kim; Yukiya Hakozaki; Shigeto Abe; Osamu Takei; Takemi Matsui (EMBC, 2014)

How to think about self-timed systems. - Marly Roncken; Ivan E. Sutherland; Chris Chen; Yong Hei; Warren A. Hunt Jr.; Cuong K. Chau; Swetha Mettala Gilla; Hoon Park; Xiaoyu Song; Anping He; Hong Chen 002 (ACSSC, 2017)

Source-Level Reasoning for Quantifying Information Leaks. - Chris Chen; Annabelle McIver; Carroll Morgan (Principles of Verification (1), 2024)

Probabilistic Datatypes. - Chris Chen; Annabelle McIver; Carroll Morgan (ICTAC, 2024)

Accel-Bench: Exploring the Potential of Programming Using Hardware-Accelerated Functions. - Abenezer Wudenhe; Yu-Chia Liu; Chris Chen; Hung-Wei Tseng 001 (ISPASS, 2024)

Source-level reasoning for quantitative information flow. - Chris Chen; Annabelle McIver; Carroll Morgan (CoRR, 2024)

Forward and Backward Simulations for Partially Observable Probability. - Chris Chen; Annabelle McIver; Carroll Morgan (CoRR, 2025)

GPU-accelerated Modeling of Biological Regulatory Networks. - Joyce Reimer; Pranta Saha; Chris Chen; Neeraj Dhar; Brook Byrns; Steven Rayan; Gordon Broderick (CoRR, 2025)