Improving an Industrial Test Generation Tool Using SMT Solver. - Hao Ren 004; Devesh Bhatt; Jan Hvozdovic (NFM, 2016)