Pages that link to "Item:Q444487"
From MaRDI portal
The following pages link to Automated debugging based on a constraint model of the program and a test case (Q444487):
Displaying 5 items.
- A program slicing-based method for effective detection of coincidentally correct test cases (Q1616574) (← links)
- The localization and correction of errors in models: a constraint-based approach (Q2576750) (← links)
- Fundamental Approaches to Software Engineering (Q5428891) (← links)
- Constraint-based debugging in probabilistic model checking (Q6488104) (← links)
- Model-based diagnosis with ASP for non-groundable domains (Q6630210) (← links)