Pages that link to "Item:Q616856"
From MaRDI portal
The following pages link to A formal logic approach to constrained combinatorial testing (Q616856):
Displaying 10 items.
- Design of test inputs and their sequences in multi-function system testing (Q2505033) (← links)
- A constraint programming approach to extract the maximum number of non-overlapping test forms (Q2506175) (← links)
- A survey of combinatorial testing (Q2875046) (← links)
- Controllable Combinatorial Coverage in Grammar-Based Testing (Q3434650) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)
- Abstract Combinatorial Programs and Efficient Property Testers (Q5317165) (← links)
- A Logic-Based Approach to Combinatorial Testing with Constraints (Q5458811) (← links)
- FM 2005: Formal Methods (Q5716882) (← links)
- Combinatorial testing: using blocking to assign test cases for validating complex software systems (Q5880070) (← links)