Yung-Pin Cheng

发表

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

Yung-Pin Cheng, Han-Shu Chen, Yung-Pin Cheng, 2008, SAC '08.

ARCATS: a scalable compositional analysis tool suite

Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng, 2006, SAC '06.

Intrusive Test Automation with Failed Test Case Clustering

Yung-Pin Cheng, Wei-Cheng Pan, Chien-Hsin Hsueh, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

Design as Contract and Blueprint – Tackling Maturity Level 1 Software Vendors in an e-School Project

Yung-Pin Cheng, Ching-Huei Wang, Yung-Pin Cheng, 2009 .

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

Yung-Pin Cheng, Chun-Yu Lee, Yung-Pin Cheng, 2008, DMS.

Awk-Linux: A Lightweight Operating Systems Courseware

Janet Mei-Chuen Lin, Yung-Pin Cheng, J. Lin, 2008, IEEE Transactions on Education.

An ontology-based taxonomy of bad code smells

Yung-Pin Cheng, Jiue-Ren Liao, Yung-Pin Cheng, 2007 .

Metaheuristic Algorithms for Task Assignment in Distributed Computing Systems: A Comparative and Integrative Approach

Benjamin B. M. Shao, Peng-Yeng Yin, Yung-Pin Cheng, 2009 .

Toward Arbitrary Mapping for Debugging Visualizations

Yung-Pin Cheng, Chuan Yang, Chiu-Yu Ku, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

A Constrained and Guided Approach for Managing Software Engineering Course Projects

Janet Mei-Chuen Lin, Yung-Pin Cheng, J. Lin, 2010, IEEE Transactions on Education.

Awk-Linux: A Lightweight Operating

Janet Mei-Chuen Lin, Yung-Pin Cheng, J. Lin, 2008 .

APPLY CAPTURE/REPLAY TO XUNIT TESTING

Yung-Pin Cheng, Chen-Wei Fan, 2014 .

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

Yung-Pin Cheng, Ben Cheng, Chia-Hung Kuo, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

xDIVA: a debugging visualization system with composable visualization metaphors

Chien-Chih Tseng, Yung-Pin Cheng, Jih-Feng Chen, 2008, OOPSLA Companion.

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

Michal Young, Yung-Pin Cheng, 2000 .

Apply computer vision in GUI automation for industrial applications.

Yung-Pin Cheng, Yi-Cheng Chen, Ching-Wei Li, 2019, Mathematical biosciences and engineering : MBE.

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

Min-Te Sun, Yung-Pin Cheng, Yan-Ling Chu, 2012, 2012 41st International Conference on Parallel Processing Workshops.

Executable Program Documentation Based on Debugging Break Points

Yung-Pin Cheng, Jhih-Hao Chen, Yu-Ying Yu, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

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

Yung-Pin Cheng, Yung-Pin Cheng, 2005, SPIN.

Refactoring design models for inductive verification

Yung-Pin Cheng, Yung-Pin Cheng, 2002, ISSTA '02.

A client-side detection mechanism for evil twins

Yu-Liang Hsu, Fu-Hau Hsu, Chuan-Sheng Wang, 2017, Comput. Electr. Eng..

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis

Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng, 2006, CIAA.

Towards scalable compositional analysis by refactoring design models

Michal Young, Yung-Pin Cheng, Che-Ling Huang, 2003, ESEC/FSE-11.

KORAT — A platform independent test automation tool by emulating keyboard/mouse hardware signals

Deron Liang, Wei-Jen Wang, Yung-Pin Cheng, 2016, 2016 IEEE AUTOTESTCON.

xDIVA: automatic animation between debugging break points

Yung-Pin Cheng, Chien-Hsin Hsueh, Han-Yi Tsai, 2010, SOFTVIS '10.