ATGen : (Record no. 18439)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01424nam a2200289 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220617123325.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 031113s2001 enk 000 0 eng d |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Meudec, C. |
| 9 (RLIN) | 70115 |
| 245 10 - TITLE STATEMENT | |
| Title | ATGen : |
| Remainder of title | automatic test data generation using constraint logic programming and symbolic execution |
| Medium | [Journal article] / |
| Statement of responsibility, etc. | C. Meudec |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | John Wiley & Sons, |
| Date of publication, distribution, etc. | 2001. |
| 500 ## - GENERAL NOTE | |
| General note | From: Software Testing Verification & Reliability, Volume 11(2), June 2001, pages 81-96. |
| 500 ## - GENERAL NOTE | |
| General note | The library holds this journal in hardcopy format. |
| 500 ## - GENERAL NOTE | |
| General note | Authored by an IT Carlow / Carlow RTC staff member. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software testing |
| Form subdivision | Periodical articles. |
| 9 (RLIN) | 70116 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Automatic test data generation |
| Form subdivision | Periodical articles. |
| 9 (RLIN) | 70117 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Symbolic execution |
| Form subdivision | Periodical articles. |
| 9 (RLIN) | 70118 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Constraint logic programming |
| Form subdivision | Periodical articles. |
| 9 (RLIN) | 70119 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | IT Carlow / Carlow RTC |
| General subdivision | Author affiliation. |
| 9 (RLIN) | 30813 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://libsearch.itcarlow.ie/cgi-bin/koha/opac-detail.pl?biblionumber=14580">https://libsearch.itcarlow.ie/cgi-bin/koha/opac-detail.pl?biblionumber=14580</a> |
| Link text | Check library holdings for the journal containing this article |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://ezproxy.itcarlow.ie/login?url=http://onlinelibrary.wiley.com/doi/10.1002/stvr.225/abstract">https://ezproxy.itcarlow.ie/login?url=http://onlinelibrary.wiley.com/doi/10.1002/stvr.225/abstract</a> |
| Link text | Read this article via the Wiley Online Library. |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 160106 |
| 903 ## - LOCAL DATA ELEMENT C, LDC (RLIN) | |
| a | MARS |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10200137 |
| b | cjnla |
| c | - |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Suppress in OPAC | 0 |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 1 |
| Cataloger's initials, CIN (RLIN) | 031113 |
| First Date, FD (RLIN) | d |
| Local | a |
| -- | - |
| -- | 0 |
No items available.