{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:36Z","timestamp":1725455436674},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607571"},{"type":"electronic","value":"9783540493624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0015511","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:07:57Z","timestamp":1131865677000},"page":"406-418","source":"Crossref","is-referenced-by-count":1,"title":["Testing Ada 95 object-oriented programs"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Barbey","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Barbey. Working with Ada 9X classes. In Charles B. Engle, Jr., editor, TRI-Ada 1994 Conference, pages 129\u2013140, Baltimore, Maryland, USA, November 6\u201311 1994. Also available as Technical Report (EPFL-DI-LGL No 94\/65).","DOI":"10.1145\/197694.197714"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Barbey. Ada 95 as implementation for object-oriented designs. In Charles B. Engle, Jr., editor, Proceedings of TRI-Ada '95, Anaheim, California, November 5\u201310 1995. (to appear).","DOI":"10.1145\/376503"},{"key":"34_CR3","first-page":"257","volume-title":"Open issues in testing object-oriented software","author":"S. Barbey","year":"1994","unstructured":"St\u00e9phane Barbey, Manuel Ammann, and Alfred Strohmeier. Open issues in testing object-oriented software. In Karol Fr\u00fchauf, editor, ECSQ '94 (European Conference on Software Quality), pages 257\u2013267, Basel, Switzerland, October 17\u201320 1994. vdf Hochschulverlag AG an der ETH Z\u00fcrich. Also available as Technical Report (EPFL-DI-LGL No 94\/45)."},{"key":"34_CR4","series-title":"number 887 in LNCS (Lecture Notes in Computer Sciences)","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-58822-1_90","volume-title":"Eurospace Ada Europe '94 Symposium Proceedings","author":"S. Barbey","year":"1994","unstructured":"St\u00e9phane Barbey and Didier Buchs. Testing of Ada abstract data types using formal specifications. In Marcel Toussaint, editor, Eurospace Ada Europe '94 Symposium Proceedings, number 887 in LNCS (Lecture Notes in Computer Sciences), pages 76\u201389, Copenhagen, Danemark, September 26\u201330 1994. Springer Verlag. Also available as Technical Report (EPFL-DI-LGL No 94\/75)."},{"key":"34_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0051526","volume-title":"Ada 95 Rationale","author":"J. Barnes","year":"1995","unstructured":"John Barnes, Ben Brosgol, Ken Dritz, Offer Pazy, and Brian Wichmann. Ada 95 Rationale. Intermetrics, Inc., Cambridge, MA, USA, February 1995."},{"issue":"6","key":"34_CR6","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. IEE Software Engineering Journal, 6(6):387\u2013405, November 1991.","journal-title":"IEE Software Engineering Journal"},{"key":"34_CR7","unstructured":"Didier Buchs. Test selection method to validate concurrent programs against their specifications. In SQM '95 (Software Quality Management), pages 403\u2013414, Seville, Spain, April 1995. (Also Available as Technical Report EPFL-DI-LGL No 95\/101)."},{"issue":"2","key":"34_CR8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R. Doong","year":"1994","unstructured":"Roong-Ko Doong and Phyllis G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2): 101\u2013130, April 1994.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"34_CR9","series-title":"volume 25 of SIGPLAN Notices","first-page":"212","volume-title":"ECOOP\/OOPSLA '90 Conference Proceedings","author":"G. T. Leavens","year":"1990","unstructured":"Gary T. Leavens and William E. Weihl. Reasoning about object-oriented programs that use subtypes (extended abstract). In Norman Meyrowitz, editor, ECOOP\/OOPSLA '90 Conference Proceedings, Ottawa, Canada, volume 25 of SIGPLAN Notices, pages 212\u2013223. ACM SIGPLAN, ACM Press, October 1990."},{"issue":"1","key":"34_CR10","first-page":"27","volume":"14","author":"J. Liddiard","year":"1993","unstructured":"J. Liddiard. Achieving testability when using Ada packaging and data hiding methods. Ada User, 14(1):27\u201332, March 1993.","journal-title":"Ada User"},{"key":"34_CR11","first-page":"16","volume-title":"OOPSLA '93 Conference Proceedings, Washington, DC, volume 28","author":"B. Liskov","year":"1993","unstructured":"Barbara Liskov and Jeannette M. Wing. Specifications and their use in defining subtypes. In Andreas Paepcke, editor, OOPSLA '93 Conference Proceedings, Washington, DC, volume 28, pages 16\u201328, 1515 Broadway New York, NY 10036, September 26\u2013October 1 1993. ACM SIGPlan, ACM Press."},{"issue":"5","key":"34_CR12","first-page":"13","volume":"2","author":"D. E. Perry","year":"1990","unstructured":"Dewayne E. Perry and Gail E. Kaiser. Adequate testing and object-oriented programming. Journal of Object-Oriented Programming, 2(5):13\u201319, January 1990.","journal-title":"Journal of Object-Oriented Programming"},{"key":"34_CR13","unstructured":"Elaine J. Weyuker. The oracle assumption of program testing. In 13th International Conference on System Sciences, pages 44\u201349, Hawaii, USA, 1980."}],"container-title":["Lecture Notes in Computer Science","Ada in Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:52:37Z","timestamp":1586551957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607571","9783540493624"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0015511","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}