Follow
Shaoying Liu
Shaoying Liu
Professor of Software Engineering, Hiroshima University, Japan
Verified email at hiroshima-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
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
4902003
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
4442016
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
3512017
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
3012012
Formal engineering for industrial software development: Using the SOFL method
S Liu
Springer Science & Business Media, 2004
2432004
Criteria for generating specification-based tests
AJ Offutt, Y Xiong, S Liu
Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999
2221999
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
1941998
Generating test data from SOFL specifications
AJ Offutt, S Liu
Journal of Systems and Software 49 (1), 49-62, 1999
1471999
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
1312022
China's mammal diversity .
Z Jiang, S Liu, Y Wu, X Jiang, K Zhou
Biodiversity Science 25 (8), 886-895, 2017
1132017
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
722013
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
682015
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
642010
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
572011
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
532020
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
482020
Verifying consistency and validity of formal specifications by testing
S Liu
International Symposium on Formal Methods, 896-914, 1999
481999
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
441998
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
432019
Formalization, testing and execution of a use case diagram
W Shen, S Liu
International conference on formal engineering methods, 68-85, 2003
422003
The system can't perform the operation now. Try again later.
Articles 1–20