The following pages link to (Q4023884):
Displaying 8 items.
- Strategies for scalable symbolic execution-driven test generation for programs (Q350939) (← links)
- A formal semantics for program debugging (Q439714) (← links)
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- A test environment using symbolic program trace (Q1340875) (← links)
- Relationship of program correctness checking methods (Q3033305) (← links)
- Generation of mutants for boolean expression (Q3637789) (← links)
- Validation method for intelligent systems (Q4783362) (← links)
- Model-Based Testing (Q5175779) (← links)