> KBSS
> STILL
> IDA
> AIC
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/