TY  - BOOK
AU  - Jack,Oliver
TI  - Software Testing for Conventional and Logic Programming
T2  - Programmierung Komplexer Systeme / Programming Complex Systems
SN  - 9783110150711
AV  - QA76.76.T48.J33 1996eb 
U1  - 005.1/4 
PY  - 2011///]
CY  - Berlin, Boston : 
PB  - De Gruyter, 
KW  - Computer software
KW  - Testing
KW  - Fehlererkennung
KW  - Programmierung
KW  - Programmtest
KW  - COMPUTERS / Computer Science
KW  - bisacsh
N1  - 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; restricted access; Issued also in print
UR  - https://doi.org/10.1515/9783110816006
UR  - https://www.degruyter.com/isbn/9783110816006
UR  - https://www.degruyter.com/document/cover/isbn/9783110816006/original
ER  -