Inventor
SIU KIT YAN
US5 patents
Patents
5 patentsUS10346140B2Jul 9, 2019
System and method for model based technology and process for safety-critical software development
GEN ELECTRIC9 citations81
US9940222B2Apr 10, 2018
System and method for safety-critical software automated requirements-based test case generation
GEN ELECTRIC10 citations80
US10169217B2Jan 1, 2019
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
GEN ELECTRIC2 citations68
US9747079B2Aug 29, 2017
Method and system of software specification modeling
GEN ELECTRIC6 citations68
US10402173B2Sep 3, 2019
Systems and methods for arbitrary software logic modeling
GEN ELECTRIC1 citations60