default search action
Yung-Pin Cheng
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c15]Yung-Pin Cheng, Wei-Nien Hsiung, Yu-Shan Wu, Li-Hsuan Chen:
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings. ICSE (Companion Volume) 2020: 73-76
2010 – 2019
- 2017
- [j3]Fu-Hau Hsu, Chuan-Sheng Wang, Yu-Liang Hsu, Yung-Pin Cheng, Yu-Hsiang Hsneh:
A client-side detection mechanism for evil twins. Comput. Electr. Eng. 59: 76-85 (2017) - 2016
- [c14]Yung-Pin Cheng, Chiu-Yu Ku, Wei-Chen Pan, Chuan Yang, Ting-Shu Lin:
Toward arbitrary mapping for debugging visualizations. ICSE (Companion Volume) 2016: 605-608 - 2015
- [c13]Yung-Pin Cheng, Jen Wei Kuo, Ben Cheng, Chia-Hung Kuo:
A Non-intrusive, Platform-Independent Capture/Replay Test Automation System. HPCC/CSS/ICESS 2015: 1122-1127 - 2013
- [c12]Yung-Pin Cheng, Jhih-Hao Chen, Yu-Ying Yu:
Executable Program Documentation Based on Debugging Break Points. APSEC (1) 2013: 199-206 - 2012
- [c11]Yan-Ling Chu, Jau-Rong Tzeng, Yung-Pin Cheng, Min-Te Sun:
Density-Adaptive Range-Free Localization in Large-Scale Sensor Networks. ICPP Workshops 2012: 488-495 - 2011
- [c10]Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan:
Intrusive Test Automation with Failed Test Case Clustering. APSEC 2011: 89-96 - 2010
- [j2]Yung-Pin Cheng, Janet Mei-Chuen Lin:
A Constrained and Guided Approach for Managing Software Engineering Course Projects. IEEE Trans. Educ. 53(3): 430-436 (2010) - [c9]Yung-Pin Cheng, Han-Yi Tsai, Chih-Shun Wang, Chien-Hsin Hsueh:
xDIVA: automatic animation between debugging break points. SOFTVIS 2010: 221-222
2000 – 2009
- 2008
- [j1]Yung-Pin Cheng, Janet Mei-Chuen Lin:
Awk-Linux: A Lightweight Operating Systems Courseware. IEEE Trans. Educ. 51(4): 461-467 (2008) - [c8]Yung-Pin Cheng, Chun-Yu Lee:
ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way. DMS 2008: 100-105 - [c7]Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng:
xDIVA: a debugging visualization system with composable visualization metaphors. OOPSLA Companion 2008: 807-810 - [c6]Yung-Pin Cheng, Han-Shu Chen:
SoftMon: programmable software monitoring with minimum overhead by helper-threading. SAC 2008: 741-747 - 2006
- [c5]Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang:
ARCATS: a scalable compositional analysis tool suite. SAC 2006: 1852-1853 - [c4]Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng:
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. CIAA 2006: 219-229 - 2005
- [c3]Yung-Pin Cheng:
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. SPIN 2005: 139-153 - 2003
- [c2]Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan:
Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE 2003: 247-256 - 2002
- [c1]Yung-Pin Cheng:
Refactoring design models for inductive verification. ISSTA 2002: 164-168 - 2000
- [b1]Yung-Pin Cheng:
Refactoring design models for compositional verification, conformance testing, and inductive verification. Purdue University, USA, 2000
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-18 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: