2 results
7 - All Paths Coverage
-
- Book:
- Essentials of Software Testing
- Published online:
- 19 August 2021
- Print publication:
- 19 August 2021, pp 113-140
-
- Chapter
- Export citation
Horn clauses as an intermediate representation for program analysis and transformation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 526-542
-
- Article
-
- You have access
- Export citation