Jack, Oliver,
Software Testing for Conventional and Logic Programming / Oliver Jack. - Reprint 2011 - 1 online resource (230 p.) - Programmierung Komplexer Systeme / Programming Complex Systems ; 10 .
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 http://purl.org/coar/access_right/c_16ec
Mode of access: Internet via World Wide Web.
In English.
9783110816006
10.1515/9783110816006 doi
Computer software--Testing.
Fehlererkennung.
Programmierung.
Programmtest.
COMPUTERS / Computer Science.
QA76.76.T48.J33 1996eb
005.1/4
Software Testing for Conventional and Logic Programming / Oliver Jack. - Reprint 2011 - 1 online resource (230 p.) - Programmierung Komplexer Systeme / Programming Complex Systems ; 10 .
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 http://purl.org/coar/access_right/c_16ec
Mode of access: Internet via World Wide Web.
In English.
9783110816006
10.1515/9783110816006 doi
Computer software--Testing.
Fehlererkennung.
Programmierung.
Programmtest.
COMPUTERS / Computer Science.
QA76.76.T48.J33 1996eb
005.1/4