Shaoying Liu

Shaoying Liu

Hiroshima University - Higashihiroshima / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 421030
広島大学
person_outline Shaoying Liu's MOST POPULAR ARTICLES
1-) Red list of China’s vertebrates Biodiversity Science 24 (5), 500, 2016
2-) Generating test data from state‐based specifications Software testing, verification and reliability 13 (1), 25-53, 2003
3-) Evidence for NOx Control over Nighttime SOA Formation Science 337 (6099), 1210-1212, 2012
4-) Formal engineering for industrial software development: Using the SOFL method Springer Science & Business Media, 2013
5-) Criteria for generating specification-based tests Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999