Automated test generation using model checking: an industrial evaluation. - Enoiu, Eduard; Čaušević, Adnan; Ostrand, Thomas; Weyuker, Elaine; Sundmark, Daniel; Pettersson, Paul (International Journal on Software Tools for Technology Transfer, 2016)