I'm trying to understand aspects of automatic test case generation (tcg) from models. During my research, I came across two "techniques" called sematic driven tcg and symbolic execution based tcg. About the latter, I found some information sporadically that helped me to understand this approach a bit.

But I don't know how to understand semantic driven in the context of automatic test case generation. I can imagine that semantic information are connected to the model from which the tc are generated. But how? And which (semantic) information?

Is there any connection between these two approaches?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.