Pages that link to "Item:Q4593010"
From MaRDI portal
The following pages link to Concolic testing in logic programming (Q4593010):
Displaying 8 items.
- Testing logic programs for local stratification (Q1199536) (← links)
- An SMT-based concolic testing tool for logic programs (Q2039953) (← links)
- The application of hypergroups in symbolic executions and finite automata (Q2098344) (← links)
- Sound and complete concolic testing for higher-order functions (Q2233484) (← links)
- Selective Unification in (Constraint) Logic Programming* (Q4988929) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)
- Concolic Execution in Functional Programming by Program Instrumentation (Q5743599) (← links)