Shaoying Liu
Loading Google Thumbnails...
| 2011 |
|---|
| 6 | A Pattern-Based Approach to Formal Specification Construction. Xi Wang, Shaoying Liu, Huaikou Miao. FGIT-ASEA/DRBC/EL 2011, 159-168. Web SearchBibTeXDownload |
| 2010 |
|---|
| 5 | A Pattern System to Support Refining Informal Ideas into Formal Expressions. Xi Wang, Shaoying Liu, Huaikou Miao. ICFEM 2010, 662-677. Web SearchBibTeXDownload |
| 2007 |
|---|
| 4 | An automated approach to specification animation for validation. Shaoying Liu, Hao Wang. Journal of Systems and Software (80): 1271-1285 (2007). Web SearchBibTeXDownload |
| 2003 |
|---|
| 3 | The Availability Semantics of Predicate Data Flow Diagram. Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu. GCC (2) 2003, 970-977. Web SearchBibTeXDownload |
| 2 | Generating test data from state-based specifications. A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann. Softw. Test., Verif. Reliab. (13): 25-53 (2003). Web SearchBibTeXDownload |
| 2000 |
|---|
| 1 | Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. Hassan Gomaa, Shaoying Liu, Michael E. Shin. ICECCS 2000, 61-71. Web SearchBibTeXDownload |
from DBLP and Google Scholar
