{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:39Z","timestamp":1725467619477},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645368"},{"type":"electronic","value":"9783540698029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055003","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:11:49Z","timestamp":1153977109000},"page":"163-175","source":"Crossref","is-referenced-by-count":3,"title":["Quality-for-ASIS: A portable testing facility for ASIS"],"prefix":"10.1007","author":[{"given":"Alfred","family":"Strohmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasiliy","family":"Fofanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Rybin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Barbey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"15_CR1","unstructured":"ASIS documents are available electronically on the World Wide Web: http:\/\/www.acm.org\/sigada\/WG\/asiswg\/asiswg.html or by anonymous ftp: ftp:\/\/sw-eng.falls-church.va.us\/public\/AdaIC\/work-grp\/asiswg"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"S. Tucker Taft, Robert A. Duff (eds.) Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO\/IEC 8652:1995(E). Lecture Notes in Computer Science, vol. 1246, Springer-Verlag, 1997, ISBN 3-540-63144-5.","DOI":"10.1007\/BFb0034910"},{"key":"15_CR3","first-page":"139","volume-title":"LNCS no 1031","author":"S. Rybin","year":"1995","unstructured":"S. Rybin, A. Strohmeier, E. Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.), Second International Eurospace-Ada-Europe Symposium Proceedings, Frankfurt-Germany, October 2\u20136 1995, LNCS no 1031, Springer, 1995, pp. 139\u2013151."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"S. Rybin, A. Strohmeier, A. Kuchumov, V. Fofanov: ASIS for GNAT: From the Prototype to the Full Implementation. In Alfred Strohmeier (Ed.), 1996 Ada-Europe International Conference on Reliable Software Technologies Proceedings, LNCS no 1088, Springer, pp. 298\u2013311, 1996.","DOI":"10.1007\/BFb0013497"},{"key":"15_CR5","unstructured":"ASIS-for-GNAT is available electronically from LGL-EPFL by anonymous ftp: ftp:\/\/lglftp.epfl.ch\/pub\/ASIS."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"E. Schonberg, B. Banner; The GNAT Project: A GNU-Ada 9X Compiler; TRI-Ada'94 Proceedings, ACM Press, 1994; pp. 48\u201357. See also http:\/\/ www.gnat.com.","DOI":"10.1145\/197694.197706"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/269629.269651","volume-title":"Proceedings of TRI-Ada'97","author":"V. Fofanov","year":"1997","unstructured":"V. Fofanov, S. Rybin and A. Strohmeier, \u201cASIStint: An Interactive ASIS Interpreter\u201d, in Susan Carlson (Ed.), Proceedings of TRI-Ada'97, St. Louis, USA, ACM Press, 1997, pp. 205\u2013209."},{"key":"15_CR8","unstructured":"St\u00e9phane Barbey. Test Selection for Specification-Based Testing of Object-Oriented Software Based on Formal Specifications. PhD thesis, Swiss Federal Institute of Technology in Lausanne (EPFL), December 1997. Ph.D. Thesis 1753."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1002\/(SICI)1099-1689(199609\/12)6:3\/4<125::AID-STVR121>3.0.CO;2-X","volume":"6","author":"R. V. Binder","year":"1996","unstructured":"Robert V. Binder. Testing object-oriented software: a survey. Journal of Testing, Verification and Reliability, 6:125\u2013252, September 1996.","journal-title":"Journal of Testing, Verification and Reliability"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Muriel Daran and Pascale Th\u00e9venod-Fosse. Software error analysis: A real case study involving real faults and mutations. In Proceedings of 3rd International Symposium on Software Testing and Analysis (ISSTA-3), pages 158\u2013171, San Diego, California, USA, January 1996.","DOI":"10.1145\/226295.226313"},{"key":"15_CR11","unstructured":"Glenford J. Myers. The Art of Software Testing. Business Data Processing: a Wiley Series. John Wiley & Sons, 1979."},{"issue":"No.4","key":"15_CR12","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Hong Zhu, Patrick A. V. Hall, John H. R. May. Software Unit Test Coverage and Adequacy. In ACM Computing Surveys, Vol. 29, No. 4, Dec 1997. pp. 366\u2013427.","journal-title":"ACM Computing Surveys"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"John B. Goodenough, S. L. Gerhart. Toward a theory of test data selection. In IEEE Trans. Softw. Eng. SE-3, June 1975.","DOI":"10.1145\/800027.808473"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:36:29Z","timestamp":1555734989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645368","9783540698029"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0055003","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}