Pages that link to "Item:Q4302742"
From MaRDI portal
The following pages link to Automatically generating test data from a Boolean specification (Q4302742):
Displaying 7 items.
- Test-data generation for control coverage by proof (Q736805) (← links)
- Automatic generation of test data for relational queries (Q1823740) (← links)
- MC/DC test cases generation based on BDDs (Q2154030) (← links)
- Smart test data generators via logic programming (Q2909153) (← links)
- Generation of mutants for boolean expression (Q3637789) (← links)
- Automatically generating test data from a Boolean specification (Q4302742) (← links)
- Automatic Generation of Combinatorial Test Data (Q5168573) (← links)