Meng Li
Meng Li
Department of Electrical and Computer Engineering, Iowa State University
Verified email at amazon.com
Title
Cited by
Cited by
Year
Model-based automatic test generation for simulink/stateflow using extended finite automaton
M Li, R Kumar
Automation Science and Engineering (CASE), 2012 IEEE International …, 2012
222012
Stateflow to extended finite automata translation
M Li, R Kumar
Computer Software and Applications Conference Workshops (COMPSACW), 2011 …, 2011
212011
Integrated automated test case generation for safety-critical software
M Li
US Patent App. 14/565,907, 2016
162016
Recursive Modeling of Stateflow as Input/Output-Extended Automaton
M Li, R Kumar
IEEE Transactions on Automation Science and Engineering 11 (4), 1229-1239, 2014
142014
Towards Development of Complete and Conflict-Free Requirements
A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ...
2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018
132018
Flight critical software and systems development using ASSERT™
K Siu, A Moitra, M Durling, A Crapo, M Li, H Yu, H Herencia-Zapana, ...
Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th, 1-10, 2017
132017
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution
M Li, R Kumar
Automation Science and Engineering (CASE), 2013 IEEE International …, 2013
102013
System and method for model based technology and process for safety-critical software development
TL Johnson, AW Crapo, MR Durling, A Walsch, KY Siu, L Parolini, ...
US Patent 10,346,140, 2019
72019
System and method for safety-critical software automated requirements-based test case generation
M Li, MR Durling, KY Siu, I Oliveira, H Yu, AM De Conto
US Patent 9,940,222, 2018
72018
Bending and Position Hysteresis of Magnetic Microfibers in Nonuniform Magnetic Fields.
RE Groff, M Li, H Karve, A Tokarev, KG Kornev
Journal of Engineered Fabrics & Fibers (JEFF) 7 (2), 2012
72012
Automating requirements analysis and test case generation
A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ...
Requirements Engineering 24 (3), 341-364, 2019
62019
Architectural and Behavioral Analysis for Cyber Security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
52019
Increasing development assurance for system and software development with validation and verification using ASSERT™
C McMillan, A Crapo, M Durling, M Li, A Moitra, P Manolios, M Stephens, ...
SAE Technical Paper, 2019
42019
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata
M Li, R Kumar
IET Cyber-Physical Systems: Theory & Applications 1 (1), 95-107, 2016
42016
Requirements-based Automated Test Generation for Safety Critical Software
M Li, B Meng, H Yu, K Siu, M Durling, D Russell, C McMillan, M Smith, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
22019
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
H Yu, MR Durling, KY Siu, M Li, B Meng, SA Stacey, DE Russell, ...
US Patent 10,169,217, 2019
22019
Semantic translation of stateflow diagrams into input/output extended finite automata and automated test generation for simulink/stateflow diagrams
R Kumar, M Li
US Patent 8,849,626, 2014
22014
System and method for equivalence class analysis-based automated requirements-based test case generation
P Manolios, M Li, I Oliveira, AM De Conto
US Patent 10,025,696, 2018
12018
System and method for coverage-based automated test case augmentation for design models
M Li, MR Durling, J Dai, SA Stacey
US Patent 9,792,204, 2017
12017
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow
M Li, R Kumar
IET Cyber-Physical Systems: Theory & Applications 2 (1), 28-41, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20