Yung-Pin Cheng

19 papers A 1C 2Misc 2Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2020 — conf
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings.
ICSE (Companion Volume)
Yung-Pin Cheng, Wei-Nien Hsiung, Yu-Shan Wu, Li-Hsuan Chen
2017 J jnl
A client-side detection mechanism for evil twins.
Comput. Electr. Eng.
Fu-Hau Hsu, Chuan-Sheng Wang, Yu-Liang Hsu, Yung-Pin Cheng, Yu-Hsiang Hsneh
2016 — conf
Toward arbitrary mapping for debugging visualizations.
ICSE (Companion Volume)
Yung-Pin Cheng, Chiu-Yu Ku, Wei-Chen Pan, Chuan Yang, Ting-Shu Lin
2015 — conf
A Non-intrusive, Platform-Independent Capture/Replay Test Automation System.
HPCC/CSS/ICESS
Yung-Pin Cheng, Jen Wei Kuo, Ben Cheng, Chia-Hung Kuo
2013 — conf
Executable Program Documentation Based on Debugging Break Points.
APSEC (1)
Yung-Pin Cheng, Jhih-Hao Chen, Yu-Ying Yu
2012 — conf
Density-Adaptive Range-Free Localization in Large-Scale Sensor Networks.
ICPP Workshops
Yan-Ling Chu, Jau-Rong Tzeng, Yung-Pin Cheng, Min-Te Sun
2011 C conf
Intrusive Test Automation with Failed Test Case Clustering.
APSEC
Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan
2010 J jnl
A Constrained and Guided Approach for Managing Software Engineering Course Projects.
IEEE Trans. Educ.
Yung-Pin Cheng, Janet Mei-Chuen Lin
2010 — conf
xDIVA: automatic animation between debugging break points.
SOFTVIS
Yung-Pin Cheng, Han-Yi Tsai, Chih-Shun Wang, Chien-Hsin Hsueh
2008 — conf
ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.
DMS
Yung-Pin Cheng, Chun-Yu Lee
2008 J jnl
Awk-Linux: A Lightweight Operating Systems Courseware.
IEEE Trans. Educ.
Yung-Pin Cheng, Janet Mei-Chuen Lin
2008 Misc conf
SoftMon: programmable software monitoring with minimum overhead by helper-threading.
SAC
Yung-Pin Cheng, Han-Shu Chen
2008 — conf
xDIVA: a debugging visualization system with composable visualization metaphors.
OOPSLA Companion
Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng
2006 Misc conf
ARCATS: a scalable compositional analysis tool suite.
SAC
Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang
2006 C conf
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
CIAA
Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng
2005 — conf
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.
SPIN
Yung-Pin Cheng
2003 — conf
Towards scalable compositional analysis by refactoring design models.
ESEC / SIGSOFT FSE
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan
2002 A conf
Refactoring design models for inductive verification.
ISSTA
Yung-Pin Cheng
2000 — —
Refactoring design models for compositional verification, conformance testing, and inductive verification
Yung-Pin Cheng