Search the dblp DataBase

Publications of Author

1. Yuting Chen, Shaoying Liu, Fumiko Nagoya
   A Review Approach to Detecting Structural Consistency Violations in Programs. [Citation Graph (0, 0)][DBLP]
   ACIS-ICIS, 2005, pp:61-66 [Conf]
   
2. Yuting Chen, Shaoying Liu
   An Approach to Detecting Domain Errors Using Formal Specification-Based Testing. [Citation Graph (0, 0)][DBLP]
   APSEC, 2004, pp:276-283 [Conf]
   
3. Fumiko Nagoya, Shaoying Liu, Yuting Chen
   A Tool and Case Study for Specification-Based Program Review. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2005, pp:375-380 [Conf]
   
4. Fumiko Nagoya, Yuting Chen, Shaoying Liu
   An Empirical Study on a Specification-Based Program Review Approach. [Citation Graph (0, 0)][DBLP]
   DepCoS-RELCOMEX, 2006, pp:199-206 [Conf]
   
5. Yuting Chen, Shaoying Liu, Fumiko Nagoya
   A Framework for SOFL-Based Program Review. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:6-7 [Conf]
   
6. Fumiko Nagoya, Shaoying Liu, Yuting Chen
   An Investigation of the Approach to Specification-Based Program Review through Case Studies. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2004, pp:249-258 [Conf]
   
7. Fumiko Nagoya, Shaoying Liu, Yuting Chen
   Design of a Tool for Specification-Based Program Review. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2005, pp:10-11 [Conf]
   
8. Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid
   An Automated Approach to Specification-Based Program Inspection. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:421-434 [Conf]
   
9. Yuting Chen, Shaoying Liu, Fumiko Nagoya
   An Approach to Integration Testing Based on Data Flow Specifications. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2004, pp:235-249 [Conf]
   
10. Yuting Chen, Shaoying Liu, Fumiko Nagoya
    A Tool-Supported Review Approach to Detecting Structural Consistency Violations. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:121-130 [Conf]
    
11. 
    A Systematic Approach for Integrating Fault Trees into System Statecharts. [Citation Graph (, )][DBLP]
    
    
12. 
    BPGen: an automated breakpoint generator for debugging. [Citation Graph (, )][DBLP]
    
    
13. 
    QuickWoZ: a multi-purpose wizard-of-oz framework for experiments with embodied conversational agents. [Citation Graph (, )][DBLP]
    
    
14. 
    A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs. [Citation Graph (, )][DBLP]
    
    
15. 
    A Method Combining Review and Testing for Verifying Software Systems. [Citation Graph (, )][DBLP]