Stateflow to Extended Finite Automata Translation. - Meng Li 001; Ratnesh Kumar 001 (COMPSAC Workshops, 2011)

Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. - Meng Li 001; Ratnesh Kumar 001 (CASE, 2012)

Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. - Meng Li 001; Ratnesh Kumar 001 (CASE, 2013)

Recursive Modeling of Stateflow as Input/Output-Extended Automaton. - Meng Li 001; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2014)

Robustness of Simulink/Stateflow Model Against Implementation Imperfections. - Meng Li 001; Ratnesh Kumar 001 (ADHS, 2015)

Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. - Meng Li 001; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2016)

Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. - Meng Li 001; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)