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
4842003
Formal engineering for industrial software development: Using the SOFL method
S Liu
Springer Science & Business Media, 2013
2312013
Criteria for generating specification-based tests
AJ Offutt, Y Xiong, S Liu
Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999
2171999
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
1811998
Generating test data from SOFL specifications
AJ Offutt, S Liu
Journal of Systems and Software 49 (1), 49-62, 1999
1421999
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
622010
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
502011
Verifying consistency and validity of formal specifications by testing
S Liu
International Symposium on Formal Methods, 896-914, 1999
451999
Formalization, testing and execution of a use case diagram
W Shen, S Liu
International Conference on Formal Engineering Methods, 68-85, 2003
432003
An automated approach to specification animation for validation
S Liu, H Wang
Journal of Systems and Software 80 (8), 1271-1285, 2007
412007
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
401998
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
392008
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
371996
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
371995
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
362009
A formal requirements specification method based on data flow analysis
S Liu
Journal of Systems and Software 21 (2), 141-149, 1993
301993
Applying SOFL to develop a university information system
S Liu, M Shibata, R Sato
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99 …, 1999
291999
Integrating animation-based inspection into formal design specification construction for reliable software systems
M Li, S Liu
IEEE transactions on reliability 65 (1), 88-106, 2015
282015
A Study of When to Release a Software Product from the Perspective of Software Reliability Models.
R Lai, M Garg, PK Kapur, S Liu
J. Softw. 6 (4), 651-661, 2011
282011
A rigorous method for inspection of model-based formal specifications
S Liu, JA McDermid, Y Chen
IEEE Transactions on Reliability 59 (4), 667-684, 2010
282010
The system can't perform the operation now. Try again later.
Articles 1–20