Shaoying Liu
Shaoying Liu
Professor of Software Engineering, Hiroshima University, Japan
Zweryfikowany adres z hiroshima-u.ac.jp - Strona główna
Cytowane przez
Cytowane przez
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
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
Formal engineering for industrial software development: Using the SOFL method
S Liu
Springer Science & Business Media, 2013
Criteria for generating specification-based tests
AJ Offutt, Y Xiong, S Liu
Proceedings Fifth IEEE International Conference on Engineering of Complex …, 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
Generating test data from SOFL specifications
AJ Offutt, S Liu
Journal of Systems and Software 49 (1), 49-62, 1999
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
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
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
Verifying consistency and validity of formal specifications by testing
S Liu
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
Formalization, testing and execution of a use case diagram
W Shen, S Liu
Formal Methods and Software Engineering: 5th International Conference on …, 2003
An automated approach to specification animation for validation
S Liu, H Wang
Journal of Systems and Software 80 (8), 1271-1285, 2007
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
A relation-based method combining functional and structural testing for test case generation
S Liu, Y Chen
Journal of Systems and Software 81 (2), 234-248, 2008
Teaching formal methods in the context of software engineering
S Liu, K Takahashi, T Hayashi, T Nakayama
ACM SIGCSE Bulletin 41 (2), 17-23, 2009
A model-oriented approach to safety analysis using fault trees and a support system
S Liu, JA McDermid
Journal of Systems and Software 35 (2), 151-164, 1996
The practice of formal methods in safety-critical systems
S Liu, V Stavridou, B Dutertre
Journal of Systems and Software 28 (1), 77-87, 1995
Out of Tibet: genomic perspectives on the evolutionary history of extant pikas
XY Wang, D Liang, W Jin, MK Tang, SY Liu, P Zhang
Molecular Biology and Evolution 37 (6), 1577-1592, 2020
Applying SOFL to develop a university information system
S Liu, M Shibata, R Sato
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99 …, 1999
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20