2006 |
9 | EE | Fumiko Nagoya,
Yuting Chen,
Shaoying Liu:
An Empirical Study on a Specification-Based Program Review Approach.
DepCoS-RELCOMEX 2006: 199-206 |
8 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
ICECCS 2006: 121-130 |
2005 |
7 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Review Approach to Detecting Structural Consistency Violations in Programs.
ACIS-ICIS 2005: 61-66 |
6 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
A Tool and Case Study for Specification-Based Program Review.
COMPSAC (1) 2005: 375-380 |
5 | EE | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
Design of a Tool for Specification-Based Program Review.
ICECCS 2005: 10-11 |
4 | EE | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Framework for SOFL-Based Program Review.
ICECCS 2005: 6-7 |
3 | 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 |
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 |