| 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 | 491 | 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 | 264 | 2012 |
| Formal engineering for industrial software development: Using the SOFL method S Liu Springer Science & Business Media, 2013 | 234 | 2013 |
| Criteria for generating specification-based tests AJ Offutt, Y Xiong, S Liu Proceedings Fifth IEEE International Conference on Engineering of Complex …, 1999 | 221 | 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 | 181 | 1998 |
| Generating test data from SOFL specifications AJ Offutt, S Liu Journal of Systems and Software 49 (1), 49-62, 1999 | 144 | 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 | 65 | 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 | 62 | 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 | 51 | 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 | 48 | 1999 |
| Formalization, testing and execution of a use case diagram W Shen, S Liu Formal Methods and Software Engineering: 5th International Conference on …, 2003 | 42 | 2003 |
| An automated approach to specification animation for validation S Liu, H Wang Journal of Systems and Software 80 (8), 1271-1285, 2007 | 41 | 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 | 41 | 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 | 40 | 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 | 38 | 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 | 37 | 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 | 37 | 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 | 32 | 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 | 31 | 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 | 30 | 2020 |
Jeff OffuttProfessor of Software Engineering, George Mason UniversityZweryfikowany adres z gmu.edu
