| 2017 | ICCSA | A Comparative Study of a GUI-Aided Formal Specification Construction Approach. | Fumiko Nagoya, Shaoying Liu |
| 2006 | DEPCoS | An Empirical Study on a Specification-Based Program Review Approach. | Fumiko Nagoya, Yuting Chen, Shaoying Liu |
| 2006 | ICECCS | A Tool-Supported Review Approach to Detecting Structural Consistency Violations. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | COMPSAC | A Tool and Case Study for Specification-Based Program Review. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | ICECCS | A Framework for SOFL-Based Program Review. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
| 2005 | ICECCS | Design of a Tool for Specification-Based Program Review. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2005 | ICFEM | An Automated Approach to Specification-Based Program Inspection. | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
| 2004 | ICECCS | An Investigation of the Approach to Specification-Based Program Review through Case Studies. | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
| 2004 | ICTAC | An Approach to Integration Testing Based on Data Flow Specifications. | Yuting Chen, Shaoying Liu, Fumiko Nagoya |