Hi All, I would like to use CUTE to perform concolic test. Is it possible? Any example?
Thanks in advance.
I'm sorry but our CUTE framework has no connection to the Concolic Unit Testing Engine for C, apart from the same acronym.