{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:57:42Z","timestamp":1742385462600},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_37","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"529-544","source":"Crossref","is-referenced-by-count":16,"title":["Testing from Structured Algebraic Specifications"],"prefix":"10.1007","author":[{"given":"Patr\u00edcia D. L.","family":"Machado","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"37_CR1","series-title":"Lect Notes Comput Sci","volume-title":"TAPSOFT\u201991","author":"G. Bernot","year":"1991","unstructured":"G. Bernot. Testing Against Formal Specifications: a Theoretical View. In S. Abramsky and T.S.E. Maibaum, eds., TAPSOFT\u201991, LNCS 494. Springer, 1991."},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"M. Bidoit, M. V. Cengarle, and R. Hennicker. Proof Systems for Structured Specifications and Their Refinements, chapter 11. IFIP Reports. Springer, 1999.","DOI":"10.1007\/978-3-642-59851-7_11"},{"issue":"1","key":"37_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","volume":"165","author":"M. Bidoit","year":"1996","unstructured":"M. Bidoit and R. Hennicker. Behavioural Theories and the Proof of Behavioural Properties. Theoretical Computer Science, 165(1):3\u201355, 1996.","journal-title":"Theoretical Computer Science"},{"key":"37_CR4","unstructured":"R. Burstall and J. Mckinna. Deliverables: an Approach to Program Development in the Calculus of Constructions. ECS-LFCS-91-133, Edinburgh University, 1992."},{"key":"37_CR5","series-title":"Lect Notes Comput Sci","volume-title":"FME\u201993","author":"J. Dick","year":"1993","unstructured":"J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In J. Wookcook and P. Larsen, eds., FME\u201993, LNCS 670. Springer, 1993."},{"key":"37_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Alg. and Logic Prog.","author":"J. Farr\u00e9s-Casals","year":"1990","unstructured":"J. Farr\u00e9s-Casals. Proving correctness w.r.t. specifications with hidden parts. In H. Kirchner and W. Wechler, eds., Alg. and Logic Prog., LNCS 463. Springer, 1990."},{"key":"37_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Data Type Specifocation","author":"P. Gall Le","year":"1996","unstructured":"P. Le Gall and A. Arnould. Formal Specification and Test: Correctness and Oracle. In M. Haveraaen, O. Owe, and O. Dahl, eds., Recent Trends in Data Type Specifocation, LNCS 1130. Springer, 1996."},{"key":"37_CR8","series-title":"Lect Notes Comput Sci","volume-title":"TAPSOFT\u201995","author":"M. Gaudel","year":"1995","unstructured":"M. Gaudel. Testing can be formal, too. In P. D. Mosses, M. Nielsen, and M. I. Schwartzbach, eds., TAPSOFT\u201995, LNCS 915. Springer, 1995."},{"key":"37_CR9","volume-title":"Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications","author":"R. Hennicker","year":"1997","unstructured":"R. Hennicker. Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications. Habilitation thesis, Institut fur Informatik, Ludwig-Maximillians-Universitat Munchen, Munchen, Germany, june 1997."},{"key":"37_CR10","series-title":"Lect Notes Comput Sci","volume-title":"FASE\u201998","author":"S. Kahrs","year":"1998","unstructured":"Stefan Kahrs and Donald Sannella. Reflections on the design of a specification language. In E. Astesiano, ed., FASE\u201998, volume 1382 of LNCS. Springer, 1998."},{"key":"37_CR11","series-title":"Lect Notes Comput Sci","volume-title":"AMAST\u201998","author":"P. D. L. Machado","year":"1999","unstructured":"P. D. L. Machado. On Oracles for Interpreting Test Results against Algebraic Specifications. In A. Haeberer, ed., AMAST\u201998, LNCS 1548. Springer, 1999."},{"issue":"4","key":"37_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"D. Mandrioli","year":"1995","unstructured":"D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for real-time systems from logic specifications. ACM Trans. Comp. Syst., 13(4):365\u2013398, 1995.","journal-title":"ACM Trans. Comp. Syst."},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 13, pages 675\u2013788. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:28:01Z","timestamp":1556728081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}