Inventor
Russell Daniel Edward
US2 patents
Patents
2 patentsUS10169217B2Jan 1, 2019
System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
GEN ELECTRIC2 citations68
US10984195B2Apr 20, 2021
Methods and systems for using implied properties to make a controlled-english modelling language more natural
GEN ELECTRIC0 citations44