Software Testing for Conventional and Logic Programming / Oliver Jack.
By: Jack, Oliver [author.]
.
Material type: 
BookSeries: Programmierung Komplexer Systeme / Programming Complex Systems ; 10.Publisher: Berlin ; Boston : De Gruyter, [2011]Copyright date: ©1996Edition: Reprint 2011.Description: 1 online resource (230 p.).Content type: text Media type: computer Carrier type: online resourceISBN: 9783110816006.Subject(s): Computer software -- Testing | Fehlererkennung | Programmierung | Programmtest | COMPUTERS / Computer ScienceAdditional physical formats: No titleDDC classification: 005.1/4 Other classification: ST 230 Online resources: Click here to access online | Click here to access online | Cover Issued also in print.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 online access with authorization star
http://purl.org/coar/access_right/c_16ec
Issued also in print.
Mode of access: Internet via World Wide Web.
In English.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022)
There are no comments for this item.