Software Testing for Conventional and Logic Programming / / Oliver Jack.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2011] ©1996 |
| Year of Publication: | 2011 |
| Edition: | Reprint 2011 |
| Language: | English |
| Series: | Programmierung Komplexer Systeme / Programming Complex Systems ;
10 |
| Online Access: | |
| Physical Description: | 1 online resource (230 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- I-VI
- 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