2008 |
16 | EE | Lian Yu,
Changzhu Kong,
Lei Xu,
Jingtao Zhao,
HuiHui Zhang:
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications.
ADMA 2008: 427-434 |
15 | EE | Lian Yu,
Jun Zhou,
Yue Yi,
Ping Li,
Qianxiang Wang:
Ontology Model-Based Static Analysis on Java Programs.
COMPSAC 2008: 92-99 |
14 | EE | Lian Yu,
Shuang Su,
Shan Luo,
Yu Su:
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.
TASE 2008: 241-244 |
2007 |
13 | EE | Lian Yu,
Wenping Xiao,
Chang Yan Chi,
Lin Ma,
Hui Su:
Test Case Generation for Collaborative Real-time Editing Tools.
COMPSAC (1) 2007: 509-516 |
12 | EE | Lian Yu,
Lifeng Xu,
Guanzhu Wang,
Chang Yan Chi,
Wenping Xiao,
Hui Su:
Testability and Test Framework for Collaborative Real-Time Editing Tools.
QSIC 2007: 322-327 |
2006 |
11 | EE | Carmen Herrmann,
Lian Yu,
Markus Reiher:
Spin states in polynuclear clusters: The [Fe2O2] core of the methane monooxygenase active site.
Journal of Computational Chemistry 27(12): 1223-1239 (2006) |
2005 |
10 | EE | Chitta Baral,
Hasan Davulcu,
Mutsumi Nakamura,
Prabhdeep Singh,
Luis Tari,
Lian Yu:
Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration.
DILS 2005: 309-312 |
9 | EE | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Embedded System Testing Using Verification Patterns.
IEEE Software 22(4): 68-75 (2005) |
2003 |
8 | EE | Wei-Tek Tsai,
Lian Yu,
Feng Zhu,
Raymond A. Paul:
Rapid Verification of Embedded Systems Using Patterns.
COMPSAC 2003: 466-471 |
7 | | Wei-Tek Tsai,
Feng Zhu,
Lian Yu,
Raymond A. Paul,
Chun Fan:
Verification Patterns for Rapid Embedded System Verification.
Embedded Systems and Applications 2003: 310-316 |
6 | EE | Wei-Tek Tsai,
Lian Yu,
Akihiro Saimi:
Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems.
FTDCS 2003: 288-294 |
5 | EE | Wei-Tek Tsai,
Akihiro Saimi,
Lian Yu,
Raymond A. Paul:
Scenario-based Object-Oriented Testing Framework.
QSIC 2003: 410- |
4 | | Wei-Tek Tsai,
Lian Yu,
Raymond A. Paul,
Akihiro Saimi,
Weiwei Song,
Zhibin Cao:
Scenario-Based System Generation for Process Control.
Software Engineering Research and Practice 2003: 978-984 |
3 | EE | Wei-Tek Tsai,
Raymond A. Paul,
Zhibin Cao,
Lian Yu,
Akihiro Saimi,
Bingnan Xiao:
Verification of Web Services Using an Enhanced UDDI Server.
WORDS 2003: 131-138 |
2002 |
2 | EE | Xiaoying Bai,
Wei-Tek Tsai,
Ke Feng,
Lian Yu,
Raymond A. Paul:
Scenario-Based Modeling And Its Applications.
WORDS 2002: 253-260 |
2001 |
1 | EE | Raymond A. Paul,
Lian Yu,
Wei-Tek Tsai,
Xiaoying Bai:
Scenario-Based Functional Regression Testing.
COMPSAC 2001: 496- |