Yung-Pin Cheng

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
GeekyNote: a technical documentation tool with coverage, backtracking, traces, and couplings.
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.
Comput. Electr. Eng., 2017

2016
Toward arbitrary mapping for debugging visualizations.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
A Non-intrusive, Platform-Independent Capture/Replay Test Automation System.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2013
Executable Program Documentation Based on Debugging Break Points.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Density-Adaptive Range-Free Localization in Large-Scale Sensor Networks.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2011
Intrusive Test Automation with Failed Test Case Clustering.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
A Constrained and Guided Approach for Managing Software Engineering Course Projects.
IEEE Trans. Educ., 2010

xDIVA: automatic animation between debugging break points.
Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

2008
Awk-Linux: A Lightweight Operating Systems Courseware.
IEEE Trans. Educ., 2008

SoftMon: programmable software monitoring with minimum overhead by helper-threading.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

xDIVA: a debugging visualization system with composable visualization metaphors.
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.
Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

2006
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
Proceedings of the Implementation and Application of Automata, 2006

ARCATS: a scalable compositional analysis tool suite.
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.
Proceedings of the Model Checking Software, 2005

2003
Towards scalable compositional analysis by refactoring design models.
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.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

2000
Refactoring design models for compositional verification, conformance testing, and inductive verification
PhD thesis, 2000


  Loading...