System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
Yu, Han, Russell, Daniel Edward, Sykes, Gregory Reed, Stacey, Scott Alan, Durling, Michael Richard, Siu, Kit Yan, Meng, Baoluo, Li, Meng
Year of Publication 01.01.2019
Get full text
Year of Publication 01.01.2019
Patent
SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION MODELS THAT CONTAIN NONLINEAR ARITHMETIC CONSTRAINTS OVER REAL NUMBER RANGES
Yu Han, Siu Kit Yan, Stacey Scott Alan, Li Meng, Russell Daniel Edward, Meng Baoluo, Sykes Gregory Reed, Durling Michael Richard
Year of Publication 12.10.2017
Get full text
Year of Publication 12.10.2017
Patent