Satisfiability Modulo Theories (SMT)

[#1]

Hello,

is there any support for "satisfiability modulo theories" in JMP or are there any Solvers available to help Software developers create software testing plans?

Best Olaf

[#2 · Accepted solution]

JMP Pro provides Covering Arrays.

[#3]

Thank you Mark,

Covering array are quite useful if all variables are independent of each other.

I am looking for testing situations where  factor restrictions have to be considered.

Best Olaf

[#4]

You can define factor constraints in the Covering Array platform. Did you read the chapter about this platform?