- Start
- Software Testing for Conventional and Logic Programming
Software Testing for Conventional and Logic Programming
Angebote / Angebote:
Frontmatter -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix ¿ Case Study -- Bibliography -- Index
Folgt in ca. 15 Arbeitstagen