| Generating test data from state‐based specifications J Offutt, S Liu, A Abdurazik, P Ammann Software testing, verification and reliability 13 (1), 25-53, 2003 | 492 | 2003 |
| Red list of China’s vertebrates Z Jiang, J Jiang, Y Wang, E Zhang, Y Zhang, L Li, F Xie, B Cai, L Cao, ... Biodiversity Science 24 (5), 500, 2016 | 437 | 2016 |
| Randolph glacier inventory–A dataset of global glacier outlines: Version 6.0: Technical report, global land ice measurements from space A Arendt, A Bliss, T Bolch, JG Cogley, A Gardner, JO Hagen, R Hock, ... RGI Consortium, 2017 | 321 | 2017 |
| Evidence for NOx Control over Nighttime SOA Formation AW Rollins, EC Browne, KE Min, SE Pusede, PJ Wooldridge, DR Gentner, ... Science 337 (6099), 1210-1212, 2012 | 303 | 2012 |
| Formal engineering for industrial software development: Using the SOFL method S Liu Springer Science & Business Media, 2004 | 245 | 2004 |
| Criteria for generating specification-based tests AJ Offutt, Y Xiong, S Liu Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999 | 226 | 1999 |
| SOFL: A formal engineering methodology for industrial applications S Liu, AJ Offutt, C Ho-Stuart, Y Sun, M Ohba IEEE Transactions on Software Engineering 24 (1), 24-45, 1998 | 197 | 1998 |
| SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles G Xu, H Bai, J Xing, T Luo, NN Xiong, X Cheng, S Liu, X Zheng Journal of Parallel and Distributed Computing 164, 1-11, 2022 | 159 | 2022 |
| Generating test data from SOFL specifications AJ Offutt, S Liu Journal of Systems and Software 49 (1), 49-62, 1999 | 147 | 1999 |
| China’s mammal diversity Z Jiang, S Liu, Y Wu, X Jiang, K Zhou Biodiversity Science 25 (8), 886, 2017 | 113 | 2017 |
| Court SG, Cowieson AJ. Protease supplementation of sorghum-based broiler diets enhances amino acid digestibility coefficients in four small intestinal sites and accelerates … SY Liu, PH Selle Anim Feed Sci Technol 183 (3-4), 175-83, 2013 | 73 | 2013 |
| China’s mammalian diversity Z Jiang, Y Ma, Y Wu, Y Wang, Z Feng, K Zhou, S Liu, Z Luo, C Li Biodiversity Science 23 (3), 351, 2015 | 71 | 2015 |
| Reduced-crude protein diets in chicken-meat production: justification for an imperative S Greenhalgh, PV Chrystal, PH Selle, SY Liu World's Poultry Science Journal 76 (3), 537-548, 2020 | 65 | 2020 |
| A decompositional approach to automatic test case generation based on formal specifications S Liu, S Nakajima 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 65 | 2010 |
| Formal specification-based inspection for verification of programs S Liu, Y Chen, F Nagoya, JA McDermid IEEE Transactions on software engineering 38 (5), 1100-1122, 2011 | 59 | 2011 |
| Out of Tibet: genomic perspectives on the evolutionary history of extant pikas XY Wang, D Liang, W Jin, MK Tang, Shalayiwu, SY Liu, P Zhang Molecular Biology and Evolution 37 (6), 1577-1592, 2020 | 50 | 2020 |
| Verifying consistency and validity of formal specifications by testing S Liu International Symposium on Formal Methods, 896-914, 1999 | 49 | 1999 |
| BAGKD: A batch authentication and group key distribution protocol for VANETs G Xu, X Li, L Jiao, W Wang, A Liu, C Su, X Zheng, S Liu, X Cheng IEEE Communications Magazine 58 (7), 35-41, 2020 | 47 | 2020 |
| An approach to specifying and verifying safety-critical systems with practical formal method SOFL S Liu, M Asuka, K Komaya, Y Nakamura Proceedings. Fourth IEEE International Conference on Engineering of Complex …, 1998 | 44 | 1998 |
| Cryptic phylogeographic history sheds light on the generation of species diversity in sky‐island mountains K He, EE Gutiérrez, NM Heming, KP Koepfli, T Wan, S He, W Jin, SY Liu, ... Journal of Biogeography 46 (10), 2232-2247, 2019 | 43 | 2019 |
Jeff OffuttProfessor and Chair, University at Albany在 albany.edu 的电子邮件经过验证
