Publication | Closed Access
A Formal Logic Approach to Constrained Combinatorial Testing
38
Citations
36
References
2010
Year
EngineeringComputational TestingFormal Logic ApproachAutomated ReasoningSoftware TestingVerificationFormal MethodsTest Data GenerationCombinatorial Testing WorkflowComputer ScienceCombinatorial OptimizationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1