> KBSS
> STILL
> IDA
> AIC
Bureš, M., Lowinger, L.
BUREŠ, M. and L. LOWINGER. PCTgen - Process Cycle Test Cases Generator. [Software] 2014.
URL: http://webing.felk.cvut.cz/bures/pctgen/