| 2008 |
|---|
| 14 | EE | Yuting Chen,
Shaoying Liu,
W. Eric Wong:
A Method Combining Review and Testing for Verifying Software Systems.
BMEI (2) 2008: 827-831 |
| 13 | EE | Omar el Ariss,
Dianxiang Xu,
W. Eric Wong,
Yuting Chen,
Yann-Hang Lee:
A Systematic Approach for Integrating Fault Trees into System Statecharts.
COMPSAC 2008: 120-123 |
| 12 | EE | Yuting Chen,
Shaoying Liu,
W. Eric Wong:
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
International Journal of Software Engineering and Knowledge Engineering 18(8): 1013-1042 (2008) |
| 11 | EE | Shaoying Liu,
Yuting Chen:
A relation-based method combining functional and structural testing for test case generation.
Journal of Systems and Software 81(2): 234-248 (2008) |
| 2006 |
|---|
| 10 | EE | Fumiko Nagoya,
Yuting Chen,
Shaoying Liu:
An Empirical Study on a Specification-Based Program Review Approach.
DepCoS-RELCOMEX 2006: 199-206 |
| 9 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
ICECCS 2006: 121-130 |
| 2005 |
|---|
| 8 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Review Approach to Detecting Structural Consistency Violations in Programs.
ACIS-ICIS 2005: 61-66 |
| 7 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
A Tool and Case Study for Specification-Based Program Review.
COMPSAC (1) 2005: 375-380 |
| 6 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
Design of a Tool for Specification-Based Program Review.
ICECCS 2005: 10-11 |
| 5 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Framework for SOFL-Based Program Review.
ICECCS 2005: 6-7 |
| 4 | EE | Shaoying Liu,
Fumiko Nagoya,
Yuting Chen,
Masashi Goya,
John A. McDermid:
An Automated Approach to Specification-Based Program Inspection.
ICFEM 2005: 421-434 |
| 2004 |
|---|
| 3 | EE | Yuting Chen,
Shaoying Liu:
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
APSEC 2004: 276-283 |
| 2 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
An Investigation of the Approach to Specification-Based Program Review through Case Studies.
ICECCS 2004: 249-258 |
| 1 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
An Approach to Integration Testing Based on Data Flow Specifications.
ICTAC 2004: 235-249 |
