 | 2011 |
|---|
| 12 |       | Chien-Hsin Hsueh,
Yung-Pin Cheng,
Wei-Cheng Pan:
Intrusive Test Automation with Failed Test Case Clustering.
APSEC 2011: 89-96 |
| 2010 |
|---|
| 11 | | Yung-Pin Cheng,
Han-Yi Tsai,
Chih-Shun Wang,
Chien-Hsin Hsueh:
xDIVA: automatic animation between debugging break points.
SOFTVIS 2010: 221-222 |
| 10 | | Yung-Pin Cheng,
Janet Mei-Chuen Lin:
A Constrained and Guided Approach for Managing Software Engineering Course Projects.
IEEE Trans. Education 53(3): 430-436 (2010) |
| 2008 |
|---|
| 9 |  | Yung-Pin Cheng,
Chun-Yu Lee:
ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way.
DMS 2008: 100-105 |
| 8 | | 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 |
| 7 | | Yung-Pin Cheng,
Han-Shu Chen:
SoftMon: programmable software monitoring with minimum overhead by helper-threading.
SAC 2008: 741-747 |
| 6 | | Yung-Pin Cheng,
Janet Mei-Chuen Lin:
Awk-Linux: A Lightweight Operating Systems Courseware.
IEEE Trans. Education 51(4): 461-467 (2008) |
| 2006 |
|---|
| 5 | | Yung-Pin Cheng,
Hong-Yi Wang,
Yu-Ru Cheng:
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
CIAA 2006: 219-229 |
| 4 | | Yung-Pin Cheng,
Yu-Ru Cheng,
Hong-Yi Wang:
ARCATS: a scalable compositional analysis tool suite.
SAC 2006: 1852-1853 |
| 2005 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
|---|
| 1 | | Yung-Pin Cheng:
Refactoring design models for inductive verification.
ISSTA 2002: 164-168 |
Data released under the ODC-BY 1.0 license — See also our legal information page