Oxygen - platform for automated generation of test cases from a model of system under test

Bureš, M., Černý, T., Kubr, J., Klíma, M., Hopp, L., Rechtberger, V.

BUREŠ, M., et al. Oxygen - platform for automated generation of test cases from a model of system under test. Software. 2016.

URL: http://still.felk.cvut.cz/oxygen/