Shaoying Liu
Shaoying Liu
Professor of Software Engineering, Hiroshima University, Japan
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
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
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
International Symposium on Formal Methods, 896-914, 1999
Formalization, testing and execution of a use case diagram
W Shen, S Liu
International Conference on Formal Engineering Methods, 68-85, 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
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
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 formal requirements specification method based on data flow analysis
S Liu
Journal of Systems and Software 21 (2), 141-149, 1993
Applying SOFL to develop a university information system
S Liu, M Shibata, R Sato
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99 …, 1999
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
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20