Refactoring design models for compositional verification, conformance testing, and inductive verification - Yung-Pin Cheng (2000)

Refactoring design models for inductive verification. - Yung-Pin Cheng (ISSTA, 2002)

Towards scalable compositional analysis by refactoring design models. - Yung-Pin Cheng; Michal Young; Che-Ling Huang; Chia-Yi Pan (ESEC / SIGSOFT FSE, 2003)

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. - Yung-Pin Cheng (SPIN, 2005)

ARCATS: a scalable compositional analysis tool suite. - Yung-Pin Cheng; Yu-Ru Cheng; Hong-Yi Wang (SAC, 2006)

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. - Yung-Pin Cheng; Hong-Yi Wang; Yu-Ru Cheng (CIAA, 2006)

ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way. - Yung-Pin Cheng; Chun-Yu Lee (DMS, 2008)

xDIVA: a debugging visualization system with composable visualization metaphors. - Yung-Pin Cheng; Jih-Feng Chen; Ming-Chieh Chiu; Nien-Wei Lai; Chien-Chih Tseng (OOPSLA Companion, 2008)

SoftMon: programmable software monitoring with minimum overhead by helper-threading. - Yung-Pin Cheng; Han-Shu Chen (SAC, 2008)

Awk-Linux: A Lightweight Operating Systems Courseware. - Yung-Pin Cheng; Janet Mei-Chuen Lin (IEEE Trans. Educ., 2008)

xDIVA: automatic animation between debugging break points. - Yung-Pin Cheng; Han-Yi Tsai; Chih-Shun Wang; Chien-Hsin Hsueh (SOFTVIS, 2010)

A Constrained and Guided Approach for Managing Software Engineering Course Projects. - Yung-Pin Cheng; Janet Mei-Chuen Lin (IEEE Trans. Educ., 2010)

Intrusive Test Automation with Failed Test Case Clustering. - Chien-Hsin Hsueh; Yung-Pin Cheng; Wei-Cheng Pan (APSEC, 2011)

Density-Adaptive Range-Free Localization in Large-Scale Sensor Networks. - Yan-Ling Chu; Jau-Rong Tzeng; Yung-Pin Cheng; Min-Te Sun (ICPP Workshops, 2012)

Executable Program Documentation Based on Debugging Break Points. - Yung-Pin Cheng; Jhih-Hao Chen; Yu-Ying Yu (APSEC (1), 2013)

A Non-intrusive, Platform-Independent Capture/Replay Test Automation System. - Yung-Pin Cheng; Jen Wei Kuo; Ben Cheng; Chia-Hung Kuo (HPCC/CSS/ICESS, 2015)

Toward arbitrary mapping for debugging visualizations. - Yung-Pin Cheng; Chiu-Yu Ku; Wei-Chen Pan; Chuan Yang; Ting-Shu Lin (ICSE (Companion Volume), 2016)

A client-side detection mechanism for evil twins. - Fu-Hau Hsu; Chuan-Sheng Wang; Yu-Liang Hsu; Yung-Pin Cheng; Yu-Hsiang Hsneh (Comput. Electr. Eng., 2017)

GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings. - Yung-Pin Cheng; Wei-Nien Hsiung; Yu-Shan Wu; Li-Hsuan Chen (ICSE (Companion Volume), 2020)