Yung-Pin Cheng

According to our database, Yung-Pin Cheng authored at least 19 papers between 2000 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings.

Yung-Pin Cheng, Wei-Nien Hsiung, Yu-Shan Wu, Li-Hsuan Chen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2017

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

2016

Toward arbitrary mapping for debugging visualizations.

Yung-Pin Cheng, Chiu-Yu Ku, Wei-Chen Pan, Chuan Yang, Ting-Shu Lin

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

A Non-intrusive, Platform-Independent Capture/Replay Test Automation System.

Yung-Pin Cheng, Jen Wei Kuo, Ben Cheng, Chia-Hung Kuo

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2013

Executable Program Documentation Based on Debugging Break Points.

Yung-Pin Cheng, Jhih-Hao Chen, Yu-Ying Yu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Density-Adaptive Range-Free Localization in Large-Scale Sensor Networks.

Yan-Ling Chu, Jau-Rong Tzeng, Yung-Pin Cheng, Min-Te Sun

Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2011

Intrusive Test Automation with Failed Test Case Clustering.

Chien-Hsin Hsueh, Yung-Pin Cheng, Wei-Cheng Pan

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

A Constrained and Guided Approach for Managing Software Engineering Course Projects.

Yung-Pin Cheng, Janet Mei-Chuen Lin

IEEE Trans. Educ., 2010

xDIVA: automatic animation between debugging break points.

Yung-Pin Cheng, Han-Yi Tsai, Chih-Shun Wang, Chien-Hsin Hsueh

Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

2008

Awk-Linux: A Lightweight Operating Systems Courseware.

Yung-Pin Cheng, Janet Mei-Chuen Lin

IEEE Trans. Educ., 2008

SoftMon: programmable software monitoring with minimum overhead by helper-threading.

Yung-Pin Cheng, Han-Shu Chen

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 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

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.

Yung-Pin Cheng, Chun-Yu Lee

Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

2006

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.

Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng

Proceedings of the Implementation and Application of Automata, 2006

ARCATS: a scalable compositional analysis tool suite.

Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.

Yung-Pin Cheng

Proceedings of the Model Checking Software, 2005

2003

Towards scalable compositional analysis by refactoring design models.

Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

2002

Refactoring design models for inductive verification.

Yung-Pin Cheng

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2000

Refactoring design models for compositional verification, conformance testing, and inductive verification

Yung-Pin Cheng

PhD thesis, 2000