 | 2011 |
|---|
| 22 |       | Qiang Sun,
Jianjun Zhao,
Yuting Chen:
Probabilistic Points-to Analysis for Java.
CC 2011: 62-81 |
| 21 | | Cheng Zhang,
Hao Xu,
Sai Zhang,
Jianjun Zhao,
Yuting Chen:
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.
ECOOP 2011: 510-532 |
| 2010 |
|---|
| 20 | | Yuting Chen,
Adeel Naveed,
Robert Porzel:
Behavior and preference in minimal personality: a study on embodied conversational agents.
ICMI-MLMI 2010: 49 |
| 19 | | Cheng Zhang,
Dacong Yan,
Jianjun Zhao,
Yuting Chen,
Shengqian Yang:
BPGen: an automated breakpoint generator for debugging.
ICSE (2) 2010: 271-274 |
| 18 | | Jan Smeddinck,
Kamila Wajda,
Adeel Naveed,
Leen Touma,
Yuting Chen,
Muhammad Abu Hasan,
Muhammad Waqas Latif,
Robert Porzel:
QuickWoZ: a multi-purpose wizard-of-oz framework for experiments with embodied conversational agents.
IUI 2010: 427-428 |
| 17 | | Yuting Chen,
Shaoying Liu,
Linzhang Wang:
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems.
QSIC 2010: 214-219 |
| 16 | | Shaoying Liu,
John A. McDermid,
Yuting Chen:
A Rigorous Method for Inspection of Model-Based Formal Specifications.
IEEE Transactions on Reliability 59(4): 667-684 (2010) |
| 2009 |
|---|
| 15 | | Yu Lin,
Xucheng Tang,
Yuting Chen,
Jianjun Zhao:
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.
ASE 2009: 221-232 |
| 2008 |
|---|
| 14 | | Yuting Chen,
Shaoying Liu,
W. Eric Wong:
A Method Combining Review and Testing for Verifying Software Systems.
BMEI (2) 2008: 827-831 |
| 13 | | 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 | | 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 | | 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 | | Fumiko Nagoya,
Yuting Chen,
Shaoying Liu:
An Empirical Study on a Specification-Based Program Review Approach.
DepCoS-RELCOMEX 2006: 199-206 |
| 9 | | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations.
ICECCS 2006: 121-130 |
| 2005 |
|---|
| 8 | | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Review Approach to Detecting Structural Consistency Violations in Programs.
ACIS-ICIS 2005: 61-66 |
| 7 | | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
A Tool and Case Study for Specification-Based Program Review.
COMPSAC (1) 2005: 375-380 |
| 6 | | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
Design of a Tool for Specification-Based Program Review.
ICECCS 2005: 10-11 |
| 5 | | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
A Framework for SOFL-Based Program Review.
ICECCS 2005: 6-7 |
| 4 | | 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 | | Yuting Chen,
Shaoying Liu:
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.
APSEC 2004: 276-283 |
| 2 | | Fumiko Nagoya,
Shaoying Liu,
Yuting Chen:
An Investigation of the Approach to Specification-Based Program Review through Case Studies.
ICECCS 2004: 249-258 |
| 1 | | Yuting Chen,
Shaoying Liu,
Fumiko Nagoya:
An Approach to Integration Testing Based on Data Flow Specifications.
ICTAC 2004: 235-249 |
Data released under the ODC-BY 1.0 license — See also our legal information page